Kalle Olavi Niemitalo <tosi@ee.oulu.fi> writes: > I got oskit10 from CVS a few days ago My mistake -- I used the l4 CVS repository on os.inf.tu-dresden.de, and the oskits there are not very fresh. So that's why it didn't work with gcc-2.95.2 out of the box. Does Fiasco work with newer oskit versions?