#include <FreeNOS/System.h>
#include <FreeNOS/arm64/ARM64Kernel.h>
#include <MemoryBlock.h>
#include <arm64/ARM64Map.h>
#include <arm64/ARM64Paging.h>
#include <arm64/ARM64FirstTable.h>
#include <arm64/ARM64Exception.h>
#include <arm64/ARM64Control.h>
#include <DeviceLog.h>
#include "CoreInfo.h"
#include "BootImage.h"
#include "RaspberryKernel.h"
#include "Support.h"
#include "PL011.h"
Go to the source code of this file.
◆ ALIGN()
| static char ALIGN |
( |
16 * |
1024 | ) |
|
|
static |
◆ kernel_main()
| C int kernel_main |
( |
void |
| ) |
|
|
extern |
Definition at line 41 of file Main.cpp.
References __bootimg, __end, __start, ARM64Paging::activate(), CoreInfo::bootImageAddress, BootImage::bootImageSize, CoreInfo::bootImageSize, clearBSS(), constructors(), coreInfo, ARM64Paging::initialize(), PL011::initialize(), Kernel::initializeHeap(), CoreInfo::kernel, CoreInfo::memory, Log::Notice, Memory::Range::phys, Kernel::run(), MemoryBlock::set(), Log::setMinimumLogLevel(), and Memory::Range::size.
◆ __bootimg
◆ __end
◆ __start