Real time UNIX Kernel "Regulus" info request

[Ashok Kumar]

Hello Everyone,
	A friend of mine would like information about real time UNIX kernel
named "Regulus". The above product is marketed by 'Alcyon' (?). Any information
about the product or the company (viz. phone number, address or even full name)
will be appreciated.

Please email your response as do not usually read the above newsgroups.

With a big thank you,
-ashok