| .. |
|
arm
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
platform_panda
|
Fiasco.OC: basic support for pandaboard
|
2012-05-29 13:55:00 +02:00 |
|
platform_pbxa9
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
platform_vea9x4
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
x86
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
x86_32
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
x86_64
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
cap_copy.mk
|
Fiasco.OC: introduce Cap_index (fixes #149, #112)
|
2012-03-22 14:10:44 +01:00 |
|
core_printf.mk
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
env.mk
|
Fiasco.OC: introduce Cap_index (fixes #149, #112)
|
2012-03-22 14:10:44 +01:00 |
|
ipc.inc
|
Fiasco.OC: introduce Cap_index (fixes #149, #112)
|
2012-03-22 14:10:44 +01:00 |
|
l4re_support.mk
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
lock.mk
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
pager.mk
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
platform.inc
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
raw_server.mk
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
server.mk
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
|
thread.mk
|
Imported Genode release 11.11
|
2011-12-22 16:19:25 +01:00 |
94e14ec20b