1 #include "kernel/kernel.h"
3 /* This is the user-visible struct that has pointers to other bits of data. */
4 struct minix_kerninfo minix_kerninfo
;
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 */