krnl = mmap((void *)0x78000000, lof, PROT_READ, MAP_PRIVATE | MAP_FIXED, fileno(kernel), 0);

##</code><code>##

$mapped_kernel = syscall(\&SYS_mmap, $address, $kernel_size, $page_read, $map_private | $map_fixed, fileno(KERNEL), 0);