#include "../include/stdio.h"
#include "../include/cpos.h"

int main(){
    printf("Init service launched.\n");

    int pid = exec_elf("shell.bin");
    if(pid != 0){
        printf("Shell process launched [PID: %d]\n",pid);
    } else printf("Cannot launch shell\n");
    return 0;
}