src/apps/init/main.c


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

#include <stdbool.h>

#include <string.h>

#include <syscall.h>
#include <debug.h>

int main(int argc, char **argv) {
	dbg_print("Hello, world! from user process.\n");

	return 0;
}