#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 __libjove_init(uint8_t, void*);
extern void __libjove_init_untypeddir(uint8_t);
extern void __libjove_heap_init(uintptr_t);

void
main(void *message_ptr)
{
    __libjove_init(INIT_OBJECT_MESSAGE, message_ptr);
    __libjove_init_untypeddir(INIT_OBJECT_UNTYPED_DIR);
    pager_setup();

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

    for(;;);
}