[HOpenGL] HOPENGL / XServer

[Clifford Beshers]

William DUCK wrote:
> Hello Misters,
>
> As you are OpenGL experts, I am
>  asking your help.
>
>  I am attempting to build up a team.
>
>  I believe it's time for a full-fledge verified OS.
>
> The graphic part is essential nowadays.
>
> If somebody is interested in functional programming and in formal methods to 
> help to implement a xserver with HOpenGL and XHSB, he is welcome :)
>   

I believe the right thing would be to reverse that.  Get an OpenGL 
engine running on a GPU directly and put an xlib/X protocol interpreter 
on top of that.  It's a bit out of scope for me at the moment, but I'm 
interested in it.