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

..

aarch64

Prekernel: Make build on aarch64

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

x86

…