2 files changed, 0 insertions, 47 deletions
diff --git a/src/man/dev/kmemmap.pre b/src/man/dev/kmemmap.pre
deleted file mode 100644
index 73b4e09..0000000
--- a/src/man/dev/kmemmap.pre
+++ /dev/null
@@ -1,34 +0,0 @@
-\title{Portland Kernel Memory Map}
-
-This manual page describes the layout of the kernel area of memory. Unless you are doing kernel development, you do not need to know this. This is not guaranteed to remain backwards-compatible across versions. Unspecified memory under \color{07}0x0400.0000\color{0f} is reserved for future use.
-
-\color{0e}Passed from bootloader\color{0f}
-
-Starting at \color{07}0x0000.4000\color{0f} is information passed from the bootloader.
-
-\color{07}0x4000 byte:\color{0f} support flags
-- \color{07}0x80:\color{0f} PCI support
-- \color{07}0x40:\color{0f} PAE support
-- The other flags are reserved.
-\color{07}0x4001 byte:\color{0f} PCI's "hardware characteristics" byte
-\color{07}0x4002 byte:\color{0f} PCI's minor version
-\color{07}0x4003 byte:\color{0f} PCI's major version
-\color{07}0x4004 byte:\color{0f} last PCI bus
-\color{07}0x4006 word:\color{0f} length of BIOS's memory map
-
-From \color{07}0x0001.0000\color{0f} to \color{07}0x0001.ffff\color{0f} is the memory map from BIOS.
-
-\color{0e}Fixed kernel structures\color{0f}
-
-\color{07}0x0000.4f98 - 0x0000.4fff:\color{0f} the Task State Segment
-\color{07}0x0000.5000 - 0x0000.5fff:\color{0f} identity page directory
-\color{07}0x0004.0000 - 0x0005.ffff:\color{0f} a bitmap of allocated pages
-\color{07}0x0040.0000 - 0x007f.ffff:\color{0f} page tables referenced by identity page directory
-
-\color{0e}Others\color{0f}
-
-\color{07}0x000a.0000 - 0x000f.0000\color{0f} and \color{07}0x00f0.0000 - 0x00ff.0000\color{0f} are assumed to be reserved by the motherboard for either memory-mapped hardware or BIOS. The standard VGA area is used as such, and the rest are avoided.
-
-The kernel is loaded with the text and data sections at \color{07}0x0003.0000 - 0x0003.7fff\color{0f}, and the bss at \color{07}0x0400.0000 - 0x07ff.7fff\color{0f}. \color{07}0x0003.8000 - 0x0003.ffff\color{0f} is used as a stack by the kernel, and whatever part of the bss area is unused is used as a sort of page-resolution "heap" for the kernel.
-
-Everything after \color{07}0x0800.0000\color{0f} that the BIOS indicates is available for use is used for user pages.
-\ No newline at end of file
diff --git a/src/man/index.pre b/src/man/index.pre
deleted file mode 100644
index 49f3d13..0000000
--- a/src/man/index.pre
+++ /dev/null
@@ -1,13 +0,0 @@
-\title{Portland Manual Index}
-
-Use the \color{07}up\color{0f} and \color{07}down\color{0f} arrows to scroll the manual one line at a time, or the \color{07}page up\color{0f} and \color{07}page down\color{0f} buttons to scroll a whole page at a time. Use the \color{07}left\color{0f} and \color{07}right\color{0f} arrows to focus the previous or next link, and the \color{07}space\color{0f} or \color{07}enter\color{0f} keys to follow those links. Use \color{07}escape\color{0f} to go back to the previous page, and \color{07}q\color{0f} to quit.
-
-\color{0e}Programs\color{0f}
-\link{fileman (file manager):bin/fileman}
-\link{Highway (command shell):bin/highway}
-
-\color{0e}Development\color{0f}
-\link{System calls:dev/syscalls}
-\link{Keycodes:dev/keycodes}
-\link{Manual file format:dev/manfile}
-\link{Kernel memory map:dev/kmemmap}
-\ No newline at end of file