#pragma once

void kernel_main(void);