diff options
Diffstat (limited to 'boot/main.c')
| -rw-r--r-- | boot/main.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/boot/main.c b/boot/main.c index 55eab00..d040e98 100644 --- a/boot/main.c +++ b/boot/main.c @@ -1,5 +1,7 @@ #include "kjarna.h" #include "fake_syscall.h" +#include <libc/stdio.h> +#include <posix/sys/mman.h> int main(int argc, char **argv) { @@ -7,6 +9,9 @@ int main(int argc, char **argv) (void)argv; struct kjarna_boot_image boot_image = get_boot_image(); - fake_syscall_start(&boot_image); + int result = fake_syscall_start(&boot_image); + printf("boot service exited with status %d\nhalting.\n", result); + munmap(boot_image.image_buffer.base, boot_image.image_buffer.length); + munmap(boot_image.stack_buffer.base, boot_image.stack_buffer.length); } |