#ifndef __VHEX_KERNEL_H__
# define __VHEX_KERNEL_H__
/* kinit(): Install and start vhex */
extern void kinit(void);
/* kquit(): Quit vhex and give back control to the system */
extern void kquit(void);
#endif /*__VHEX_KERNEL_H__*/