| .. |
|
include
|
NOVA: fix compiler warning
|
2012-10-08 15:08:06 +02:00 |
|
core_rm_session.cc
|
Bunch of compiler warning fixes, issue #234
|
2012-06-20 19:44:07 +02:00 |
|
cpu_session_extension.cc
|
NOVA: add single-step support used by gdb
|
2012-08-30 10:42:38 +02:00 |
|
cpu_session_support.cc
|
Extend RAM/CPU session for base-hw context-areas.
|
2012-08-02 16:41:21 +02:00 |
|
echo.cc
|
NOVA: maximize contiguous virtual space for 32/64
|
2012-09-24 09:17:57 +02:00 |
|
io_mem_session_support.cc
|
Bump year in copyright headers to 2012
|
2012-01-03 15:35:05 +01:00 |
|
irq_session_component.cc
|
NOVA: let thread die if SM cap is invalid
|
2012-08-09 11:09:42 +02:00 |
|
platform_pd.cc
|
NOVA: Throughly cleanup caps in case of errors
|
2012-08-09 11:09:42 +02:00 |
|
platform_thread.cc
|
NOVA: drop special utcb handling of main thread
|
2012-10-04 14:35:38 +02:00 |
|
platform.cc
|
NOVA: drop special utcb handling of main thread
|
2012-10-04 14:35:38 +02:00 |
|
ram_session_support.cc
|
Bunch of compiler warning fixes, issue #234
|
2012-06-20 19:44:07 +02:00 |
|
rm_session_support.cc
|
Use NOVA microkernel from github, add 64bit
|
2012-06-20 19:44:07 +02:00 |
|
signal_source_component.cc
|
NOVA: remove pd selector from non Core code
|
2012-08-09 11:09:41 +02:00 |
|
target.inc
|
NOVA: extend cpu_session for base-nova
|
2012-08-09 11:09:40 +02:00 |
|
target.mk
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
thread_start.cc
|
NOVA: let thread die if SM cap is invalid
|
2012-08-09 11:09:42 +02:00 |
