coderain d0a03df8a3 Improve the language used hace 4 años
..
avltree.h dcef4bcee0 [sdk] Fix incorrect assumptions in the AVL binary search routines hace 6 años
clock.h a16949de96 Rewrite the system clock to use timestamps instead of calendar time hace 6 años
cpu.h fad7052d1e Move some of the architecture-specific code into a separate unit. hace 6 años
defs.h 738cdf14f4 Change the timer syscalls so that sysret_t can be 32-bit hace 6 años
device.h 9f3ec362bd Move video I/O control definitions to the SDK hace 7 años
exception.h b2b59886c7 Improve exception handling. hace 6 años
filesystem.h 549ee9217b Move system calls to the SDK and normalize their names hace 7 años
list.h f873ac437d [sdk] Implement mini lists, which are singly-linked hace 6 años
memory.h 549ee9217b Move system calls to the SDK and normalize their names hace 7 años
monolithium.h 126dd9162c Implement vectored I/O. hace 6 años
object.h 7992a3f0b5 Make waiting for objects generic. Implement access granting/revoking. hace 6 años
pipe.h d0a03df8a3 Improve the language used hace 4 años
power.h 549ee9217b Move system calls to the SDK and normalize their names hace 7 años
process.h 7992a3f0b5 Make waiting for objects generic. Implement access granting/revoking. hace 6 años
semaphore.h fa23adff9e Implement events using semaphores. hace 6 años
syscalls.h c2c026e397 Automatically generate syscalls.h and syscalls.c as well hace 7 años
thread.h fad7052d1e Move some of the architecture-specific code into a separate unit. hace 6 años
timer.h 738cdf14f4 Change the timer syscalls so that sysret_t can be 32-bit hace 6 años
user.h e5133aaacf Introduce a uid_t type for user IDs. hace 6 años
vector.h 126dd9162c Implement vectored I/O. hace 6 años