[comp.os.misc] Seeking x-kernel experience

amos@SHUM.HUJI.AC.IL (amos shapir) (05/28/91)

Does anybody out there knows:

- How can one (academic institution) acquire x-kernel sources?

- Does anybody has any experience using x-kernel for a real-life application?

(Note: I do *not* mean X-windows!)

Thanks in advance,

-- 
	Amos Shapir		amos@cs.huji.ac.il
The Hebrew Univ. of Jerusalem, Dept. of Comp. Science.
Tel. +972 2 585257 GEO: 35 11 46 E / 31 46 21 N

michaelg@neon.Stanford.EDU (Michael Greenwald) (05/29/91)

amos@SHUM.HUJI.AC.IL (amos shapir) writes:

>Does anybody out there knows:

>- How can one (academic institution) acquire x-kernel sources?

>- Does anybody has any experience using x-kernel for a real-life application?

>(Note: I do *not* mean X-windows!)

>Thanks in advance,

>-- 
>	Amos Shapir		amos@cs.huji.ac.il
>The Hebrew Univ. of Jerusalem, Dept. of Comp. Science.
>Tel. +972 2 585257 GEO: 35 11 46 E / 31 46 21 N

Why don't you ask Larry Peterson, llp@cs.arizona.edu?