13 typedef int32_t SYSCALL;
14 typedef int32_t PROCESS;
17 * Board specific clock settings. These boards often come with two
18 * external oscillators: one high speed (8MHz) and one low speed (~30kHz).
19 * These values are used throughout the code to calculator desired baud
23 //#define CRYSTAL_MHZ 8
24 #define CLKSPEED_MHZ 8
25 extern void clock_init();
26 // extern void clock_reset();
30 extern void rtc_init();
33 extern void ivt_init();
34 extern void ivt_set_gate(unsigned char, void *(), short);
37 extern void systick_init();
40 extern void sysinfo();
43 /* typedef void * (kalloc)(void * s);
44 * typedef void (kfree)(void * s, void * p); */
45 extern void kheap_init();
46 extern void * get_kheap();
47 extern void * kalloc(void * s);
48 extern void kfree(void * s, void * p);
49 extern void kheap_info(void * s);
52 extern void syscall_init();
55 extern void terminal();