lkl-test.c

#ifdef _WIN32
#include <windows.h>
#else
#include <fcntl.h>
#endif


#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <lkl.h>
#include <lkl_host.h>

int main(int argc, char **argv)
{
	fprintf(stderr, "Starting kernel...");
	lkl_start_kernel(&lkl_host_ops, 10 * 1024 * 1024, "");

	// do something useful

	out:
	fprintf(stderr, "Shutting down kernel...\n");
	lkl_sys_halt();
}