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