blob: 163207487c8f3ad404158ec225d16e3e5f1e2717 [file]
#include <string.h>
#include "x86.h"
#include "xen.h"
#include "bootparam.h"
struct boot_params boot_params __attribute__((aligned(16)));
int main(int arg, char *argc[])
{
int ret;
memset(&boot_params, 0, sizeof(struct boot_params));
if (arg <= 1)
ret = startup_64();
else {
boot_params.hdr.hardware_subarch = X86_SUBARCH_XEN;
ret = startup_xen();
}
return ret;
}