andrew 74aa6ef552 Return NULL on failure from nexus_alloc_resource as it reutrns a pointer.

2015-04-27 15:16:51 +00:00

..

arm64

Return NULL on failure from nexus_alloc_resource as it reutrns a pointer.

2015-04-27 15:16:51 +00:00

conf

Set MACHINE_ARCH to aarch64 for arm64

2015-04-16 19:23:08 +00:00

include

Add support for arm64 to loader.efi and boot1.efi

2015-04-14 13:55:01 +00:00