| .. |
|
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: avoid deadlock if invalid object is called
|
2013-08-13 17:08:23 +02: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
|
Add trace points (RPC and signal)
|
2013-08-15 09:22:50 +02: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: destruct signal receiver platform specific
|
2013-09-26 15:58:04 +02: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 |
