FreeNOS
|
#include <FreeNOS/Config.h>
#include <FreeNOS/Support.h>
#include <FreeNOS/System.h>
#include <Macros.h>
#include <MemoryBlock.h>
#include <arm/ARMControl.h>
#include <arm/ARMPaging.h>
#include <arm/broadcom/BroadcomInterrupt.h>
#include <arm/broadcom/BroadcomTimer.h>
#include <PL011.h>
#include <DeviceLog.h>
#include "RaspberryKernel.h"
Go to the source code of this file.
Functions | |
static u32 | ALIGN (16 *1024) SECTION(".data") tmpPageDir[4096] |
C int | kernel_main (void) |
Variables | |
Address | __start |
Address | __end |
Address | __bootimg |
|
static |
C int kernel_main | ( | void | ) |
Definition at line 35 of file Main.cpp.
References __bootimg, __end, __start, ARMPaging::activate(), CoreInfo::bootImageAddress, BootImage::bootImageSize, CoreInfo::bootImageSize, clearBSS(), constructors(), coreInfo, ARMPaging::initialize(), PL011::initialize(), Kernel::initializeHeap(), ARMCacheV6::invalidate(), CoreInfo::kernel, CoreInfo::memory, Log::Notice, Memory::Range::phys, Kernel::run(), MemoryBlock::set(), ARMControl::set(), Log::setMinimumLogLevel(), Memory::Range::size, ARMControl::SMPBit, and Cache::Unified.
Address __bootimg |
Definition at line 31 of file Main.cpp.
Referenced by kernel_main().
Address __end |
Definition at line 31 of file Main.cpp.
Referenced by kernel_main().
Address __start |
Referenced by kernel_main().