Files
mini-riscv-os/04-TimerInterrupt/os.h
ccckmit 5eec97bef9 init
2020-11-14 11:31:33 +08:00

13 lines
176 B
C

#ifndef __OS_H__
#define __OS_H__
#include "riscv.h"
#include "lib.h"
#include "timer.h"
extern void user_init();
extern void os_kernel();
extern int os_main(void);
#endif