Hi Sergio,
I found this on the web today, perhaps you do not know of it, it seems
that the source code for ITS kernel is available under GPL licence.
Find it here : <
http://pdp10.nocrew.org/> and look for ITS
Regards,
-- Hans
Received on Sun Oct 29 2000 - 14:53:50 GMT