SYSCALL1(_SysSetFaultHandler, SYS_SETFAULTHANDLER)
+SYSCALL1(_SysLoadModule, SYS_LOADMOD)
+
SYSCALL6(_SysDebug, 0x100)
SYSCALL1(_SysGetPhys, SYS_GETPHYS) // uint64_t _SysGetPhys(uint addr)
SYSCALL1(_SysAllocate, SYS_ALLOCATE) // uint64_t _SysAllocate(uint addr)
extern void _SysSetName(const char *Name);
extern int _SysGetName(char *NameDest);
extern int _SysSetPri(int Priority);
+// --- System ---
+extern int _SysLoadModule(const char *Module);
// --- Timekeeping ---
extern int64_t _SysTimestamp(void);
extern void _SysTimedSleep(int64_t Delay);