Help for this page
krnl = mmap((void *)0x78000000, lof, PROT_READ, MAP_PRIVATE | MAP_FIXE +D, fileno(kernel), 0);
$mapped_kernel = syscall(\&SYS_mmap, $address, $kernel_size, $page_rea +d, $map_private | $map_fixed, fileno(KERNEL), 0);