This repository has been archived on 2023-08-30. You can view files and clone it, but cannot push or open issues/pull-requests.
|
/*
|
|
* 'kernel.h' contains some often-used function prototypes etc
|
|
*/
|
|
void verify_area(void * addr,int count);
|
|
volatile void panic(const char * str);
|
|
int printf(const char * fmt, ...);
|
|
int printk(const char * fmt, ...);
|
|
int tty_write(unsigned ch,char * buf,int count);
|