#include "cache.h"
#include "mmu.h"
#include "memlayout.h"
#include "string.h"
#include "irq.h"
#include "mal.h"
#include "debug.h"
#include "Services.h"

Functions
void	mal_init (void)

int	kernel_start (void)

Variables
bool_t	mmu_io_remapped

uint32_t	current_partition

Function Documentation

◆ kernel_start()

int kernel_start ( void )

◆ mal_init()

void mal_init ( void )

Variable Documentation

◆ current_partition

uint32_t current_partition

◆ mmu_io_remapped

bool_t mmu_io_remapped