Norman Feske ccffbb0dfc Build dynamically linked executables by default ... Fixes #2184		2016-12-14 11:22:27 +01:00
..
spec/x86_32	Build dynamically linked executables by default	2016-12-14 11:22:27 +01:00
base-sel4-common.mk	Build dynamically linked executables by default	2016-12-14 11:22:27 +01:00
base-sel4.mk	Build dynamically linked executables by default	2016-12-14 11:22:27 +01:00
core.mk	Build dynamically linked executables by default	2016-12-14 11:22:27 +01:00
core_log.mk	base-*: remove usage of printf	2016-10-21 12:39:36 +02:00
syscall.mk	sel4: first syscall invokation	2015-05-26 09:39:54 +02:00