| .. |
|
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
|
3181e6ab2d
Basic task destruction
|
2 years ago |
|
bitmap.h
|
23cdbae389
Improve pmap update scalability
|
2 years ago |
|
bulletin.c
|
4498106044
Separate spinlock guards
|
2 years ago |
|
bulletin.h
|
e17c6a9372
Add thread/task dead notification
|
1 year ago |
|
capability.c
|
31c9ed569b
Test that multiple objects can be received
|
11 months ago |
|
capability.h
|
f5bd928958
Send alerts when a channel is closed
|
11 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
|
0d63d30321
Improve futex robust handling
|
1 year 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
|
20e74ef344
Rework capabilities
|
1 year 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
|
8cb66c68da
Restyle the code into using GNU coding standards
|
2 years 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
|
ff72efa5c7
Rename IPC page message and simplify VM bits
|
1 year ago |
|
ipc.h
|
3e9661e492
Numerous fixes to the capability implementation
|
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
|
80705575da
Re-instate the DWARF unwinder for fixups
|
1 year 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
|
80705575da
Re-instate the DWARF unwinder for fixups
|
1 year 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
|
4498106044
Separate spinlock guards
|
2 years 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
|
69b3521a56
Add support for lazy cpu page tables
|
1 year ago |
|
task.h
|
e17c6a9372
Add thread/task dead notification
|
1 year ago |
|
thread.c
|
d836440994
Minor style fixes
|
11 months ago |
|
thread.h
|
e17c6a9372
Add thread/task dead notification
|
1 year 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
|
20e74ef344
Rework capabilities
|
1 year 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
|
80705575da
Re-instate the DWARF unwinder for fixups
|
1 year 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 |
Agustina Arzille
31c9ed569b
Test that multiple objects can be received