#include <kernel/object.h>
#include <jove/jove.h>
#include <jove/object.h>
#include <jove/syscall.h>

#include "memory.h"

/**This program acts as a memory and process server.*/

__attribute__((noreturn))
static void
spin_fail(void)
{
    for(;;);
}

extern void __libc_heap_init(uintptr_t);

void
main(void *message_ptr)
{
    __jove_syscall_obj = INIT_OBJECT_MESSAGE;
    __jove_syscall_ptr = message_ptr;
    _jove_alloc_objdir_inplace(&__jove_untyped_directory, &__rootdir, INIT_OBJECT_UNTYPED_DIR);

    jove_kprintf("Hello, Userland!\n");
    pager_setup();
    __libc_heap_init((uintptr_t)message_ptr + KO_MESSAGE_BYTES);

    for(;;);
}