#ifndef _KERNEL_SYS_H
#define _KERNEL_SYS_H

void sys_halt(void);
void sys_enable_interrupts(void);
void sys_disable_interrupts(void);

#endif