vgabios/BUGS
vgabios/README
vgabios/TODO
