diff options
Diffstat (limited to 'kernel/main.dats')
| -rw-r--r-- | kernel/main.dats | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/main.dats b/kernel/main.dats index 67afb7c..2a89603 100644 --- a/kernel/main.dats +++ b/kernel/main.dats @@ -27,6 +27,7 @@ implement main(p) = let in print_memory_mappings(bootptr); + print_elf_headers(bootptr); // Initialize interrupt table idt_init(); |