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");
|
|
|
|
|
int pid = exec_elf("shell.bin");
|
|
|
|
|
printf("Launching shell pid [%d]\n",pid);
|
|
|
|
|
if(pid != -1){
|
|
|
|
|
printf("Shell launch win! PID:[%d]\n",pid);
|
|
|
|
|
} else printf("Error: Cannot launch shell\n");
|
|
|
|
|
return 0;
|
2024-08-31 12:36:49 +08:00
|
|
|
}
|
