2024-08-31 12:36:49 +08:00
|
|
|
#include "../include/stdio.h"
|
2024-09-06 00:16:50 +08:00
|
|
|
#include "../include/cpos.h"
|
2024-08-31 01:23:06 +08:00
|
|
|
|
2024-07-14 00:54:27 +08:00
|
|
|
int main(){
|
2024-09-06 00:16:50 +08:00
|
|
|
printf("Init service launched.\n");
|
2024-09-08 10:03:05 +08:00
|
|
|
|
|
|
|
|
int pid = exec_elf("shell.bin");
|
|
|
|
|
if(pid != 0){
|
|
|
|
|
printf("Shell process launched [PID: %d]\n",pid);
|
|
|
|
|
} else printf("Cannot launch shell\n");
|
2024-09-06 00:16:50 +08:00
|
|
|
return 0;
|
2024-08-31 12:36:49 +08:00
|
|
|
}
|
