|
//---
|
|
// hypervisor:install - Hypervisor installation
|
|
//---
|
|
#include "fxBoot/hypervisor.h"
|
|
|
|
//---
|
|
// User API
|
|
//---
|
|
/* hypervisor_install(): Install the hypervisor */
|
|
int hypervisor_install(void)
|
|
{
|
|
//TODO:generate the world context for the interface
|
|
//TODO: switch VBR
|
|
}
|