ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-27 22:59:43 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/base/include/base
History
Martin Stein 06f8848b36 base: spelling fix in signal/signal.h 
ref #980
2013-11-28 08:22:24 +01:00
..
trace
Add 'String<SIZE>' buffer type to 'util/string.h'
2013-10-05 12:44:35 +02:00
affinity.h
Apply affinity subspacing to session requests
2013-08-15 09:22:50 +02:00
allocator_avl.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
allocator_guard.h
base: 'Allocator_guard::quota' accessor
2013-10-22 08:00:16 +02:00
allocator.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
blocking.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
cancelable_lock.h
Rework the internal lock interface
2013-02-25 22:14:21 +01:00
capability.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
child.h
Implement resource-balancing in parent interface
2013-10-05 12:44:35 +02:00
connection.h
Interface for setting CPU connection affinity
2013-08-13 17:08:25 +02:00
console.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
crt0.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
elf.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
env.h
Turn 'platform_env.h' into a private header
2013-02-14 13:23:36 +01:00
errno.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
exception.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
heap.h
heap: Reduce maximum chunk size to 1 MiB on 32bit
2013-03-27 19:27:25 +01:00
ipc.h
base: count caps replied by a rpc function
2013-11-18 11:01:45 +01:00
lock_guard.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
lock.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
native_capability.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
object_pool.h
base: fix bug in Object_pool::first_locked
2013-10-16 09:26:11 +02:00
pager.h
base: individual implementations of pager-object
2013-11-14 19:57:30 +01:00
printf.h
Suppress warnings in release mode
2013-03-22 17:28:07 +01:00
process.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
rpc_args.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
rpc_client.h
base: count caps replied by a rpc function
2013-11-18 11:01:45 +01:00
rpc_server.h
Minor comment fix
2013-09-18 14:58:54 +02:00
rpc.h
Add trace points (RPC and signal)
2013-08-15 09:22:50 +02:00
semaphore.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
service.h
base/os: catch Ipc_error messages in Service class
2013-10-22 08:00:15 +02:00
signal.h
base: spelling fix in signal/signal.h
2013-11-28 08:22:24 +01:00
slab.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
sleep.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
snprintf.h
pci: add support to provide PCI ECMA config
2013-02-21 11:52:02 +01:00
stdint.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
sync_allocator.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
thread_state_base.h
GDB monitor: find out page faulting thread
2013-10-25 23:49:00 +02:00
thread_state.h
GDB monitor: find out page faulting thread
2013-10-25 23:49:00 +02:00
thread.h
base: do not allow unnamed threads
2013-10-22 08:00:07 +02:00
tslab.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00