mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
kaf24@scramble.cl.cam.ac.uk
067b241269
Add support for marking bad pages using the 'badpage=xxx' cmdline option when booting Xen.