TODO.kaslr revision 1.5 
1====== POINTER LEAKS ======
2
3[DONE] -- Change the permissions of /dev/ksyms, as discussed in:
4          http://mail-index.netbsd.org/tech-kern/2018/01/17/msg022960.html
5
6-- The address of a non-public section is leaked because of Meltdown,
7   "jmp handler". This can easily be fixed by pushing the handlers into
8   their own section.
9
10-- Replace the "%p" fmt by something relative to the kernel section (if
11   any). Eg, from
12       printf("%p", &some_global_var); --> "0xffffffffe38010f0"
13   to
14       printf("%p", &some_global_var); --> ".data.4:0x8010f0"
15   This eases debugging and also prevents leaks if a driver prints
16   kernel addresses as debug (I've seen that already).
17
18[DONE] -- PPPoE sends a kernel address as host unique. (What is this shit.)
19
20-- Several entry points leak kernel addresses:
21       [DONE] - "modstat -k"
22       - "netstat -nat"
23       - kern.proc
24       - kern.proc2
25       - kern.file
26       - kern.file2
27       - kern.lwp
28
29-- Be careful with dmesg.
30
31====== RANDOMIZATION ======
32
33[DONE] -- Randomize the PTE space.
34
35[DONE] -- Randomize the kernel main memory (VM_MIN_KERNEL_ADDRESS).
36
37[DONE] -- Randomize the direct map.
38
39-- Randomize the PCPU area.
40
41====== GENERAL ======
42
43-- Sort the kernel sections by size, from largest to smallest, to save
44   memory.
45
46-- Add the "pkboot" command in the EFI bootloader.
47