| 16 | MemoryManager memoryManager; |
| 17 | |
| 18 | void first_thread(void *arg) |
| 19 | { |
| 20 | // 第1个线程不可以返回 |
| 21 | // stdio.moveCursor(0); |
| 22 | // for (int i = 0; i < 25 * 80; ++i) |
| 23 | // { |
| 24 | // stdio.print(' '); |
| 25 | // } |
| 26 | // stdio.moveCursor(0); |
| 27 | |
| 28 | asm_halt(); |
| 29 | } |
| 30 | |
| 31 | extern "C" void setup_kernel() |
| 32 | { |
nothing calls this directly
no outgoing calls
no test coverage detected