#include "kjarna.h"
#include "fake_syscall.h"
#include <libc/stdio.h>
#include <posix/sys/mman.h>

int main(int argc, char **argv)
{
	(void)argc;
	(void)argv;

	struct kjarna_boot_image boot_image = get_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);
}