src/userspace/programs/init.c


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

#include <stdio.h>
#include <stdlib.h>
#include <syscall.h>
#include <gui.h>

void main()
{
	gui_init();
	gui_screen_clear();
	printf("Initializing userspace...\n");
	syscall_exec("/bin/sh");

	while (1) {
	};
}