18#include <FreeNOS/System.h>
19#include <FreeNOS/Config.h>
20#include <FreeNOS/Kernel.h>
Result
Enumeration of generic kernel API result codes.
virtual Size size() const
Get memory size.
CoreInfo * getCoreInfo()
Get CoreInfo.
SplitAllocator * getAllocator()
Get physical memory allocator.
static Size copy(void *dest, const void *src, Size count)
Copy memory from one place to another.
Allocator which separates kernel mapped memory at virtual and physical addresses.
virtual Size available() const
Get memory available.
static Kernel * instance()
Retrieve the instance.
API::Result SystemInfoHandler(SystemInformation *info)
Kernel prototype.
CoreInfo coreInfo
Local CoreInfo instance.
#define DEBUG(msg)
Output a debug message to standard output.
Per-Core information structure.
uint timerCounter
Arch-specific timer counter.
Address bootImageSize
Boot image size in bytes.
Memory::Range kernel
Kernel memory range.
Size coreChannelSize
Size of the IPC channel in bytes.
uint coreId
Core identifier.
Address coreChannelAddress
Physical memory address of IPC channel for CoreServer of this core.
Address bootImageAddress
Boot image physical memory address.
char kernelCommand[KERNEL_PATHLEN]
Kernel command.
Size size
Size in number of bytes.
Address phys
Physical address.