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