genode/base-foc/lib/mk
2012-11-23 12:20:27 +01:00
..
arm Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
platform_imx53 Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00
platform_panda Fiasco.OC: basic support for pandaboard 2012-05-29 13:55:00 +02:00
platform_pbxa9 Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
platform_vea9x4 Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
x86 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
x86_32 Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +01:00
x86_64 Fiasco.OC: enable i.MX53 platform 2012-11-23 12:20:27 +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: several capability ref-counter fixes. 2012-09-03 10:59:54 +02: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 Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02: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