Libreboot X200 and FreeBSD

[Adrian Chadd]

So, the loader needs updating to have VGA framebuffer support. I have
started that as an investigation but I don't have anything tidy enough
to start pushing into -HEAD. But yes, as long as they expose the VGA
framebuffer in some meaningful way (read: either they pre-initialise a
dumb framebuffer, or they provide basic BIOS services for it) then
it'll eventually happen.



-adrian