Norman Feske 3d7b92ea50 Generalize ABI mechanism to shared objects ... This patch make the ABI mechanism available to shared libraries other than Genode's dynamic linker. It thereby allows us to introduce intermediate ABIs at the granularity of shared libraries. This is useful for slow-moving ABIs such as the libc's interface but it will also become handy for the package management. To implement the feature, the build system had to be streamlined a bit. In particular, archive dependencies and shared-lib dependencies are now handled separately, and the global list of 'SHARED_LIBS' is no more. Now, the variable with the same name holds the per-target list of shared libraries used by the target.		2017-01-13 13:06:54 +01:00
..
doc	sel4: 3rd article - porting core to seL4	2015-05-26 09:40:02 +02:00
etc	Add unified build directories to create_builddir	2017-01-13 13:05:44 +01:00
include/sel4	base: avoid use of deprecated base/printf.h	2016-08-29 17:27:10 +02:00
lib	Generalize ABI mechanism to shared objects	2017-01-13 13:06:54 +01:00
mk/spec	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
patches	sel4: fix UART access (patch)	2016-09-14 11:53:04 +02:00
ports	sel4: fix UART access (patch)	2016-09-14 11:53:04 +02:00
src	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00