Added serial output for the console. It's sweet.
[akaros.git] / kern / monitor.h
1 #ifndef JOS_KERN_MONITOR_H
2 #define JOS_KERN_MONITOR_H
3 #ifndef JOS_KERNEL
4 # error "This is a JOS kernel header; user programs should not #include it"
5 #endif
6
7 typedef struct trapframe {
8 } trapframe_t;
9
10 // Activate the kernel monitor,
11 // optionally providing a trap frame indicating the current state
12 // (NULL if none).
13 void monitor(trapframe_t *tf);
14
15 // Functions implementing monitor commands.
16 int mon_help(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
17 int mon_kerninfo(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
18 int mon_backtrace(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
19 int mon_reboot(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
20
21 #endif  // !JOS_KERN_MONITOR_H