20 lines
363 B
C
20 lines
363 B
C
|
#include <vhex/kernel.h>
|
||
|
|
||
|
//---
|
||
|
// Initialization and unloading
|
||
|
//---
|
||
|
|
||
|
/* kinit(): Install and start vhex */
|
||
|
void kinit(void)
|
||
|
{
|
||
|
//TODO: initialize hypervisor
|
||
|
//TODO: perform a world-switch "in"
|
||
|
}
|
||
|
|
||
|
/* kquit(): Quit vhex and give back control to the system */
|
||
|
void kquit(void)
|
||
|
{
|
||
|
//TODO: perform a world-switch "out"
|
||
|
//TODO: free'd allocated world information
|
||
|
}
|