Theodosius/DemoDrv/DriverEntry.c

#include "Theodosius.h"

int drv_entry()
{
	DbgPrint("> hello world! this is a demo!\n");
	DbgPrint("> current pml4 = 0x%p\n", get_dirbase());
}