extern void _exit(int status) __attribute__((noreturn));
extern void sleep();
extern void yield();
+extern int kill(int pid, int sig);
extern void wait(int miliseconds);
extern int waittid(int id, int *status);
extern int clone(int flags, void *stack);
extern int gettid();
extern int getpid();
extern int _SysSetFaultHandler(int (*Handler)(int));
+extern void SysSetName(const char *Name);
+//extern int SysGetName(const char *Name);
// --- Permissions ---
extern int getuid();
extern int _SysOpenChild(int fd, char *name, int flags);
extern int _SysGetACL(int fd, t_sysACL *dest);
extern int _SysMount(const char *Device, const char *Directory, const char *Type, const char *Options);
+extern int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *errfds, time_t *timeout);
// --- IPC ---
extern int SysSendMessage(pid_t dest, uint length, void *Data);