From guillaume.fortaine at wanadoo.fr  Sat Aug 26 10:41:39 2006
From: guillaume.fortaine at wanadoo.fr (William DUCK)
Date: Sat Aug 26 10:29:38 2006
Subject: [HOpenGL] HOPENGL / XServer
Message-ID: <200608261641.39891.guillaume.fortaine@wanadoo.fr>

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 :)

XHSB ( X Haskell Bindings ) :

http://lists.freedesktop.org/archives/xcb/2006-January/001278.html

Here is an example of a protocol formalisation and a trusted GUI :

network stack :
http://www.cl.cam.ac.uk/~pes20/Netsem/

If you want to contact me, my mail is guillaume_dot_fortaine_at_wanadoo_dot_fr

I will set up a mailing-list, a web server, a wiki and an IRC

Best Regards,

? ? ? ? ? ? ? ? ? ? ? ? ? Guillaume FORTAINE
From clifford.beshers at linspire.com  Sat Aug 26 12:35:51 2006
From: clifford.beshers at linspire.com (Clifford Beshers)
Date: Sat Aug 26 12:23:54 2006
Subject: [HOpenGL] HOPENGL / XServer
In-Reply-To: <200608261641.39891.guillaume.fortaine@wanadoo.fr>
References: <200608261641.39891.guillaume.fortaine@wanadoo.fr>
Message-ID: <44F07867.1000005@linspire.com>


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.