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