Hi, I'm looking at taking a contract, but this is one kernel I've never heard of. Probing the web seems fruitless. Person I talked with claims that this is actually the trade name of the kernel. It's running on a PPC 860 under the GNU compiler ...
Any background or a URL greatly appreciated.
-D