#include <zivuos/kernel.h>

int main() {
    kernel_init();
    return 0;
}