Agustina Arzille 31c9ed569b Test that multiple objects can be received hace 9 meses
..
Kconfig e2dfe4df23 Use automatic cleanup for resource management hace 2 años
Makefile 8a57841548 Add support for adjustable priority queues hace 11 meses
adaptive_lock.c ae85189376 Implement futexes hace 1 año
adaptive_lock.h e4b4e5ff83 Revert typing in guards cleanup (clang doesn't like them) hace 2 años
arg.c b52d87059b More style fixes hace 2 años
arg.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
atomic.h b5cf126033 Style fixes in atomic implementation hace 1 año
bitmap.c 3181e6ab2d Basic task destruction hace 2 años
bitmap.h 23cdbae389 Improve pmap update scalability hace 2 años
bulletin.c 4498106044 Separate spinlock guards hace 2 años
bulletin.h e17c6a9372 Add thread/task dead notification hace 1 año
capability.c 31c9ed569b Test that multiple objects can be received hace 9 meses
capability.h f5bd928958 Send alerts when a channel is closed hace 9 meses
cbuf.c 0c889730a0 More code style fixes hace 2 años
cbuf.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
clock.c b52d87059b More style fixes hace 2 años
clock.h 0d63d30321 Improve futex robust handling hace 1 año
condition.c ae85189376 Implement futexes hace 1 año
condition.h e2dfe4df23 Use automatic cleanup for resource management hace 2 años
condition_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
config.h eb21efaacc Rework the build system hace 12 años
console.c 21f5fc5549 Small fix in console waiters hace 1 año
console.h 5460d43c9a Add the cpu_flags_t and standardize typing hace 2 años
cpumap.c 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
cpumap.h 89c7d1eeec Implement copy-on-write pages hace 1 año
cspace.h 20e74ef344 Rework capabilities hace 1 año
cspace_types.h 9152769f27 Implement capabilities hace 1 año
error.c 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
error.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
fmt.c 33e3e99d70 Style fixes hace 11 meses
fmt.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
futex.c 80705575da Re-instate the DWARF unwinder for fixups hace 1 año
futex.h ae85189376 Implement futexes hace 1 año
hash.h 0d63d30321 Improve futex robust handling hace 1 año
hlist.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
hlist_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
init.c 5bf4197855 Reimplement the test framework hace 2 años
init.h 55838094af Use 'structof' instead of raw casting hace 2 años
intr.c 711d6e5ec3 Redesign alert delivery in capabilities hace 1 año
intr.h c826463b0d Implement the interrupt interface for capabilities hace 1 año
ipc.c ff72efa5c7 Rename IPC page message and simplify VM bits hace 10 meses
ipc.h 3e9661e492 Numerous fixes to the capability implementation hace 9 meses
kernel.c d77c0658c3 Use a per-thread futex data structure hace 1 año
kernel.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
kmem.c 80705575da Re-instate the DWARF unwinder for fixups hace 1 año
kmem.h c25527c7e0 Remove pointless check hace 1 año
kuid.c ae85189376 Implement futexes hace 1 año
kuid.h d542ca50f2 Use separate pools for KUID allocations hace 2 años
list.h c826463b0d Implement the interrupt interface for capabilities hace 1 año
list_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
log.c a17f842a18 Redesign IPC hace 2 años
log.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
log2.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
macros.h 8a57841548 Add support for adjustable priority queues hace 11 meses
mbuf.c 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
mbuf.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
mutex.c ae85189376 Implement futexes hace 1 año
mutex.h d324d64d87 Numerous style and bug fixes hace 1 año
mutex_types.h be5b9d6ab9 Don't use reserved identifiers hace 6 años
panic.c febf8a7190 Make the unwind backtrace interface more generic hace 1 año
panic.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
percpu.c 254eeed035 Rework sleepable page allocations hace 1 año
percpu.h 20e74ef344 Rework capabilities hace 1 año
perfmon.c 5460d43c9a Add the cpu_flags_t and standardize typing hace 2 años
perfmon.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
perfmon_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
plist.c 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
plist.h 711d6e5ec3 Redesign alert delivery in capabilities hace 1 año
plist_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
pqueue.c 8a57841548 Add support for adjustable priority queues hace 11 meses
pqueue.h 8a57841548 Add support for adjustable priority queues hace 11 meses
printf.c 59b66630a7 Initial steps for page fault handling hace 2 años
printf.h 59b66630a7 Initial steps for page fault handling hace 2 años
rbtree.c 3181e6ab2d Basic task destruction hace 2 años
rbtree.h a17f842a18 Redesign IPC hace 2 años
rcu.c afc45ba196 Implement 'cap_intr_eoi' hace 1 año
rcu.h e2dfe4df23 Use automatic cleanup for resource management hace 2 años
rcu_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
rdxtree.c bd89349c26 More cleanly separate sleepable allocations hace 1 año
rdxtree.h d77c0658c3 Use a per-thread futex data structure hace 1 año
rtmutex.c ae85189376 Implement futexes hace 1 año
rtmutex.h ae85189376 Implement futexes hace 1 año
rtmutex_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
semaphore.c ae85189376 Implement futexes hace 1 año
semaphore.h 54bd72dded Remove implementation files hace 2 años
shell.c ff72efa5c7 Rename IPC page message and simplify VM bits hace 10 meses
shell.h 9b0979a488 Style fixes in shell hace 1 año
shutdown.c 5bf4197855 Reimplement the test framework hace 2 años
shutdown.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
sleepq.c 80705575da Re-instate the DWARF unwinder for fixups hace 1 año
sleepq.h ae85189376 Implement futexes hace 1 año
slist.h 711d6e5ec3 Redesign alert delivery in capabilities hace 1 año
slist_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
spinlock.c a95146a758 Add the 'get_id' IPC messages for threads and tasks hace 1 año
spinlock.h 4498106044 Separate spinlock guards hace 2 años
spinlock_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
sref.c 4498106044 Separate spinlock guards hace 2 años
sref.h 0c889730a0 More code style fixes hace 2 años
stream.c a95146a758 Add the 'get_id' IPC messages for threads and tasks hace 1 año
stream.h b9aa57235d Simplify string streams hace 1 año
string.c d324d64d87 Numerous style and bug fixes hace 1 año
string.h e38b3e28aa Implement generic 'memchr' hace 2 años
sxlock.c 6b8a8a8bf7 Simplisy sxlock waits hace 1 año
sxlock.h 0f62594b82 Improve shared/exclusive locks so that waiters acquire the lock in order hace 1 año
symbol.c cd8c1a2180 Simplify symbol lookups hace 1 año
symbol.h d324d64d87 Numerous style and bug fixes hace 1 año
sync.h 477b92b1cb Fix compile-time assertion message hace 1 año
syscnt.c d324d64d87 Numerous style and bug fixes hace 1 año
syscnt.h 5460d43c9a Add the cpu_flags_t and standardize typing hace 2 años
syscnt_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
task.c 69b3521a56 Add support for lazy cpu page tables hace 11 meses
task.h e17c6a9372 Add thread/task dead notification hace 1 año
thread.c d836440994 Minor style fixes hace 9 meses
thread.h e17c6a9372 Add thread/task dead notification hace 1 año
timer.c a95146a758 Add the 'get_id' IPC messages for threads and tasks hace 1 año
timer.h 54bd72dded Remove implementation files hace 2 años
turnstile.c 20e74ef344 Rework capabilities hace 1 año
turnstile.h ae85189376 Implement futexes hace 1 año
turnstile_types.h 8cb66c68da Restyle the code into using GNU coding standards hace 2 años
types.h 5460d43c9a Add the cpu_flags_t and standardize typing hace 2 años
unwind.c 6bc394b648 Small style change hace 10 meses
unwind.h 74bc78be99 Make the unwind mechanism more robust hace 1 año
user.c 80705575da Re-instate the DWARF unwinder for fixups hace 1 año
user.h 2186e36aea Use iterators in task/thread capability messaging hace 1 año
work.c d324d64d87 Numerous style and bug fixes hace 1 año
work.h 54bd72dded Remove implementation files hace 2 años
xcall.c d324d64d87 Numerous style and bug fixes hace 1 año
xcall.h e4374cdc9c Add several comments; style fixes hace 2 años