shell/kill.c (view raw)
1 2 3 4 5 6 7 8 9 10 11 12 13
#include "cedos.h" #include <stdint.h> #include "stdlib.h" #include "string.h" #include "cedos.h" void main(char *args) { int pid = atoi(args); process_kill(pid); }