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