1 #include "kernel/kernel.h" 2 3 /* This is the user-visible struct that has pointers to other bits of data. */ 4 struct minix_kerninfo minix_kerninfo __section(".usermapped"); 5 6 /* Kernel information structures. */ 7 struct kinfo kinfo __section(".usermapped"); /* kernel information for users */ 8 struct machine machine __section(".usermapped"); /* machine information for users */ 9 struct kmessages kmessages __section(".usermapped"); /* diagnostic messages in kernel */ 10 struct loadinfo loadinfo __section(".usermapped"); /* status of load average */ 11 12