26 Aug
2006
26 Aug
'06
12:35 p.m.
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.