Can camkes be used with ARM AARCH64?

I am attempting to build a linux virtual machine on top of the zynqmp ultrascape+ / sel4 kernel, and using the tk1 vmm project as my reference point.

When the build system attempts to generate camkes-gen.mk, it fails – displaying an error indicating that aarch64 is not a valid architecture specification for camkes. I see that valid arm options are aarch32 or arm_hyp.

Is arm_hyp what I am looking for here?

What would I need to do in order to strip the camkes dependencies out of the tk1 vmm project?

Thanks,

Mike D

Computer Security Engineer - Intelligent Automation, Inc.
(301)294-5263

This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc.