Embedded Xinu Operating System
An ongoing research project and educational operating system.
 All Data Structures Files Functions Variables Typedefs Enumerations Macros Groups Pages
Functions
safeKmapInit.c File Reference
#include <kernel.h>
#include <memory.h>
#include <safemem.h>
#include <platform.h>
#include <stdlib.h>
#include <mips.h>

Functions

void _start (void)
 
void safeKmapInit (void)
 

Detailed Description

Initialize kernel mappings.

Function Documentation

void safeKmapInit ( void  )

Initialize kernel mappings to include statically configured kernel memory. Includes kernel text, data, stack, memory region table, and page table table.