RE: OSDI paper based on L4ka::Pistachio

> I wanted to let you know how positive our experience was with the
> L4Ka::Pistachio code was and how thankful we are that this project exists --
> creating our own OS without using L4Ka as a starting point would have been a
> much more difficult endeavor.  We found the L4Ka code to be clean, easy to
> understand, and easy to modify, and will continue using it for our future
> research projects.
Truly glad to hear that. Congratulations to your paper.

Cheers,
-Jan

--
Dr.-Ing. Jan Stoess
KIT/UKa System Architecture Group
Phone: +49 (721) 608 4056
Fax: +49 (721) 608 7664
http://os.ibds.kit.edu/stoess