Nico Weber 9c5e947e0e Prekernel: Make build on aarch64 ...

Add a dummy Arch/aarch64/boot.S that for now does nothing but
let all processor cores sleep.

For now, none of the actual Prekernel code is built for aarch64.

2021-08-28 21:51:30 +01:00

..

Arch

Prekernel: Make build on aarch64

2021-08-28 21:51:30 +01:00

CMakeLists.txt

Prekernel: Make build on aarch64

2021-08-28 21:51:30 +01:00

init.cpp

Kernel: Support loading the kernel at almost arbitrary virtual addresses

2021-07-27 13:15:16 +02:00

linker.ld

…

Prekernel.h

Kernel: Support loading the kernel at almost arbitrary virtual addresses

2021-07-27 13:15:16 +02:00

UBSanitizer.cpp

…