#include <unistd.h>
#include <stdio.h>
#include <fcntl.h>
#include <stdlib.h>

#include "config.h"
#include <lib/elf.h>

/*
static int open_kernel(void)
{
	int kernel_fd = open(HAL_PATH, 0, 0);

	printf("kernel path: %s\n", HAL_PATH);

	if (kernel_fd < 0)
	{
		printf("error: could not open kernel core\n");
		return -1;
	}

	Elf64_Ehdr ehdr;

	if (!elf64_validate_fd(kernel_fd, ET_DYN, EM_X86_64))
	{
		printf("error: could not validate elf header\n");
		close(kernel_fd);
		return -1;
	}

	printf("kernel: elf x86_64 dynamic object found\r\n");

	ssize_t kernel_size = elf64_size_fd(fd);

	printf("kernel image size %zd\n", kernel_size);

	return kernel_fd;
}
*/

int main(int argc, char **argv)
{
	(void)argc;
	(void)argv;

	printf("kjarna %d\n", KJARNA_REVISION);

	return 0;
}