| 57 | } |
| 58 | |
| 59 | void first_thread(void *arg) |
| 60 | { |
| 61 | |
| 62 | printf("start process\n"); |
| 63 | programManager.executeProcess((const char *)first_process, 1); |
| 64 | programManager.executeThread(second_thread, nullptr, "second", 1); |
| 65 | asm_halt(); |
| 66 | } |
| 67 | |
| 68 | extern "C" void setup_kernel() |
| 69 | { |
nothing calls this directly
no test coverage detected