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; 5 6 /* Kernel information structures. */ 7 struct kinfo kinfo; /* kernel information for users */ 8 struct machine machine; /* machine information for users */ 9 struct kmessages kmessages; /* diagnostic messages in kernel */ 10 struct loadinfo loadinfo; /* status of load average */ 11 12