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