Re: Wait-free Synchronization, RTLinux and CSP

[Lawrence Dickson <tjoccam@xxxxxxxxxxxxx>]

I did mention RTLinux a few months (?) back. It is actually not Linux,
but an all-powerful and very small embedded environment over which 
Linux runs as the lowest priority process. This is done with a clever
adaptation of the Linux macros CLI and STI. Linux communicates with
embedded "masters" through pipes which behave much like channels. I 
think it is a natural both for development of a super-DOS and of a
CSP-based superstructure including occam - with complete mastery of
the machine at the same time as all the tools of Linux are available.

Larry Dickson