| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 18-Jan-2018 | - | ||||
| Makefile | A D | 18-Jan-2018 | 2.1 KiB | 87 | 59 | |
| boot-x86_32.S | A D | 18-Jan-2018 | 2.5 KiB | 113 | 68 | |
| boot-x86_64.S | A D | 18-Jan-2018 | 2.3 KiB | 109 | 64 | |
| config.h | A D | 18-Jan-2018 | 399 | 13 | 12 | |
| kexec.c | A D | 18-Jan-2018 | 13.3 KiB | 441 | 310 | |
| mini-os.c | A D | 18-Jan-2018 | 16.5 KiB | 772 | 606 | |
| mini-os.h | A D | 18-Jan-2018 | 192 | 8 | 6 | |
| minios.cfg | A D | 18-Jan-2018 | 61 | 4 | 3 | |
| osdep.h | A D | 18-Jan-2018 | 517 | 31 | 24 |