src/userspace/main.c


1
2
3
4
5
6
7
8
9
10
11
12
13

#include <syscall.h>

void user_main()
{
    char hello[] = "> Successfully switched to usermode!\n";
    syscall_write(hello);

    while (1) {
        char buffer[20] = {'\0'};
        syscall_read(buffer);
        syscall_write(buffer);
    };
}