Anyone familiar with the "RTK" kernel ???

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

Reply to
Mr_D
Loading thread data ...

Googling for 'rtk rtos' found this:

formatting link

--
Grant Edwards                   grante             Yow!  Now, I think it would
                                  at               be GOOD to buy FIVE or SIX
 Click to see the full signature
Reply to
Grant Edwards

Perhaps s/he meant RTKernel?

formatting link

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

Regards, -=Dave

--
Change is inevitable, progress is not.
Reply to
Dave Hansen

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

Thanks much Dave...

-D

Reply to
Mr_D

ElectronDepot website is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.