kernel.c File Reference

Main kernel function. More...

#include <stddef.h>
#include <stdint.h>
#include <kernel/uart.h>
#include <kernel/printk.h>
#include <kernel/utils.h>
#include <kernel/irq.h>
#include <kernel/timer.h>
#include <kernel/led.h>
#include <kernel/console.h>
#include <common/string.h>
#include <armv8-a/irq.h>

Include dependency graph for kernel.c:

Functions
void	kernel_main ()

Detailed Description

Main kernel function.