df1f021cc6
* Initialise the message variables (as per ia32 and x86_64) * `libsel4` now builds when `syscall_stub_gen.py` is run without `--buffer` * While simple things appear to work, `sel4test` with aarch32 in qemu is *not* happy: ``` Bootstrapping kernel Warning: using printf before serial is set up. This only works as your printf is backed by seL4_Debug_PutChar() sel4utils_create_object_at_level@mapping.h:22 Should not be called Ignoring call to sys_rt_sigprocmask Ignoring call to sys_gettid sys_tkill assuming self kill ``` |
||
|---|---|---|
| .. | ||
| arch_include | ||
| include | ||
| sel4_arch_include | ||
| sel4_plat_include | ||
| src | ||
| tools | ||
| Kbuild | ||
| Kconfig | ||
| Makefile | ||