| 35 | } |
| 36 | |
| 37 | void first_thread(void *arg) |
| 38 | { |
| 39 | printf("start process\n"); |
| 40 | programManager.executeProcess((const char *)first_process, 1); |
| 41 | programManager.executeProcess((const char *)first_process, 1); |
| 42 | programManager.executeProcess((const char *)first_process, 1); |
| 43 | asm_halt(); |
| 44 | } |
| 45 | |
| 46 | extern "C" void setup_kernel() |
| 47 | { |
nothing calls this directly
no test coverage detected