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