Alexander Boettcher 80838831d8 make dde_linux repository an optional one ... Since dde_linux now contains the port of the Linux IP stack available for all Genode base-* platforms move the repository out of drivers_arm and drivers_x86 build.conf to the optional build.conf (available to all platforms).		2013-11-26 14:32:05 +01:00
..
etc	make dde_linux repository an optional one	2013-11-26 14:32:05 +01:00
build.mk	run: clean pulsar config file during a clean_run	2013-06-17 12:14:10 +02:00