Files
xen/extras/mini-os/include/kernel.h
T
Karim Raslan 4db67cf657 mini-os: switched initial C entry point to arch_init
Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
[talex5@gmail.com: separated from big ARM commit]
[talex5@gmail.com: restored comment, moved prototypes to headers]
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
[talex5@gmail.com: restored stack address printk on x86]
[talex5@gmail.com: moved first printk's after start_info setup on x86]
Signed-off-by: Thomas Leonard <talex5@gmail.com>
2014-06-27 13:38:34 +01:00

10 lines
184 B
C

#ifndef _KERNEL_H_
#define _KERNEL_H_
void start_kernel(void);
void do_exit(void) __attribute__((noreturn));
void arch_do_exit(void);
void stop_kernel(void);
#endif /* _KERNEL_H_ */