extras/mini-os/include/kernel.h


1
2
3
4
5
6
7

#ifndef _KERNEL_H_
#define _KERNEL_H_

extern void do_exit(void) __attribute__((noreturn));
extern void stop_kernel(void);

#endif /* _KERNEL_H_ */