#include "stage1.h"
#include "kprint.h"
#include <kernel/init.h>

uint8_t *_syscall_payload;
uint8_t  _syscall_message;

void main(void *init_message_ptr)
{
    _syscall_payload = init_message_ptr;
    _syscall_message = INIT_OBJECT_MESSAGE;

    kputs("Hello, Userland!\n");
    for(;;);
}

__attribute__((naked))
void
_start(void)
{
    __asm__ volatile("\
            popq %rdi; \
            jmp main");
}