4 Commits

Author	SHA1	Message	Date
Sebastian Sumpf	bf06b7e360	rump: Add repository to build.conf	2014-02-28 10:11:12 +01:00
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
Christian Helmuth	b355897f53	update x86emu to 1.20 ... + document x86emu move from os -> libports Fixes #456	2013-06-12 11:35:12 +02:00
Genode Labs	d1891e8a27	Merge final fixes from internal repositories	2011-12-23 14:04:29 +01:00