#include <common.h>
#include <init.h>
#include <driver.h>

static int efi_x86_pure_init(void)
{
	struct device_d *dev = device_alloc("efi-cs-x86", DEVICE_ID_SINGLE);

	return platform_device_register(dev);
}
core_initcall(efi_x86_pure_init);