|
#include <BAN/Formatter.h>
|
|
#include <kernel/Syscall.h>
|
|
|
|
#include <unistd.h>
|
|
|
|
#define USERSPACE __attribute__((section(".userspace")))
|
|
|
|
USERSPACE void userspace_entry()
|
|
{
|
|
Kernel::syscall(SYS_WRITE, STDOUT_FILENO, "Hello World!", 12);
|
|
Kernel::syscall(SYS_EXIT);
|
|
}
|