Where 'kernel' is defined as a single 'WFI' instruction. Signed-off-by: Dan Cross <cross@gajendra.net>
@@ -0,0 +1,5 @@
+ARCH=aarch64 \
+STRIP=aarch64-none-elf-strip \
+CC=aarch64-none-elf-gcc \
+LD=aarch64-none-elf-ld \
+../../../../util/build trivial.json
@@ -73,7 +73,8 @@
},
"Program": "harvey",
"SourceFiles": [
- "aarch64cpu.c"
+ "l.S",
+ "main.c"
]
}
@@ -4,4 +4,5 @@
.globl _start
_start:
+_main:
WFI
@@ -8,7 +8,9 @@
* contained in the LICENSE.gpl file.
*/
+#include <u.h>
+
void
-main(uint32_t mbmagic, uint32_t mbaddress)
+main(uint64_t mbmagic, uintptr_t mbaddress)
{
@@ -0,0 +1,12 @@
+{
+ "aarch64cpu": {
+ "Env": [
+ "CONF=aarch64cpu"
+ ],
+ "Program": "harvey",
+ "SourceFiles": [
+ ]
+ }
+}