os/kernel/kernel.h

8 lines
87 B
C

#ifndef KERNEL_H
#define KERNEL_H
extern long initrd_sz;
extern char* initrd;
#endif