yup, that's it since he mentioned ebsnet...

Thanks much Dave...

-D

On 5 Jan 2006 14:08:03 -0800 in comp.arch.embedded, "Mr_D"
<packer44@hotmail.com> wrote:

>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.

Perhaps s/he meant RTKernel?
http://www.ebsnetinc.com/real-time-operating-system-rtos.php

Never used it myself, but the web site claims support for PPC860 and
GCC.

Regards,
                                        -=Dave

-- 
Change is inevitable, progress is not.

On 2006-01-05, Mr_D <packer44@hotmail.com> wrote:
> 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.

Googling for 'rtk rtos' found this:

http://www.acmet.com/html/rtos1.html

-- 
Grant Edwards                   grante             Yow!  Now, I think it would
                                  at               be GOOD to buy FIVE or SIX
                               visi.com            STUDEBAKERS and CRUISE for
                                                   ARTIFICIAL FLAVORING!!

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