| 52 | } |
| 53 | |
| 54 | void first_thread(void *arg) |
| 55 | { |
| 56 | |
| 57 | printf("start process\n"); |
| 58 | programManager.executeProcess((const char *)first_process, 1); |
| 59 | asm_halt(); |
| 60 | } |
| 61 | |
| 62 | extern "C" void setup_kernel() |
| 63 | { |
nothing calls this directly
no test coverage detected