K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2015-11-15T01:50:17.920363Z
K 7
svn:log
V 131
Deal with the IOMMU with a hammer: turn it off. Full booting now blocked by
the fact that non-IPI IRQs don't work for some reason.

END