Rob Vermaas 64561b437d Remove broken flag for xen, build with gcc45.		2014-08-01 17:18:27 +02:00
..
default.nix	Remove broken flag for xen, build with gcc45.	2014-08-01 17:18:27 +02:00
gcc-4.5.patch	Revert "xen: update to version 4.1.2"	2012-08-08 02:30:25 +04:00
has-header.patch	* Get Xen to build. It's not tested yet and doesn't include a Dom0	2010-09-09 16:45:18 +00:00