On Thu, Dec 01, 2016 at 11:20:00PM +0000, ron minnich wrote:
> If people are trying native graphics init I still think it's worth trying
> the SPARK stuff from nico at least once.
I'm intrigued by the use of Ada and excited about applying more
formal methods as well as safer languages to the firmware space.
It would also be interesting to consider using sel4 or CertiKOS
as a payload.
Do we require any sort of VGA init if the payload has the kernel
framebuffer and mode support? I should do some tests with that
on the x230.
On Thu, Dec 1, 2016 at 2:54 PM Klemens Nanni <k...@posteo.org> wrote:
> Interesting, I wonder how well these replacement screens would work with
> coreboot? I assume the proprietary VGA Option ROM won't work with those
> and native graphics initialisation still needs some work on the X230
> either ways.
Based on the auto-translated Chinese forum post, I believe they
have tapped into the docking station to get sufficient display lanes.
I haven't tried using the docking station with coreboot, so I'm not
certain how well it would work either.
coreboot mailing list: email@example.com