1. 14d0b84 Fix paging #PF, simplify init_tasks by swissChili · 2 years ago[Renamed from src/kernel/x86_32/.gdbinit]
  2. 9b46c90 Move kernel sources to platform specific subdirs by swissChili · 2 years, 6 months ago[Renamed from src/kernel/.gdbinit]
  3. cfd3c3c Add threading, paging broken by swissChili · 3 years, 9 months ago
  4. 7eef438 Move to kernel/ by swissChili · 3 years, 10 months ago[Renamed from src/.gdbinit]
  5. 0b35bf2 Add printf, gdb support, fix gdt by swissChili · 3 years, 10 months ago