Their system is based on:
1. Mach "microkernel"
2. New "arch" type that maps Linux to mach system calls (vm is provided
by Mach).
3. Device drivers have two styles:
1. Linux kernel mmaps mach memory which allows Linux raw drivers but
no microkernel protection.
2. Port Linux drivers into mach. They have three generic device
drivers: char, block and net that map allow Linux access of mach drivers.
Linux runs as one mach task, allowing other mach tasks (such as RT type
tasks) to run simultaneously. In theory, one should be able to run multiple
instances of Linux on the same CPU this way too.
Robert Kavaler
[EMAIL PROTECTED] wrote:
> Sounds like b.s., but we will see.
>
> On Sat, Apr 29, 2000 at 01:31:05PM +0200, Tomasz Motylewski wrote:
> >
> > Does anynone know something about http://www.wideopen.com/story/838.html
> >
> > They have completely neglected to mention already existing systems.
> >
> > Best regards,
> > --
> > Tomek
> >
> >
> > -- [rtl] ---
> > To unsubscribe:
> > echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
> > echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
> > ---
> > For more information on Real-Time Linux see:
> > http://www.rtlinux.org/rtlinux/
>
> --
> ---------------------------------------------------------
> Victor Yodaiken
> FSMLabs: www.fsmlabs.com www.rtlinux.com
> FSMLabs is a servicemark and a service of
> VJY Associates L.L.C, New Mexico.
>
> -- [rtl] ---
> To unsubscribe:
> echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
> echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
> ---
> For more information on Real-Time Linux see:
> http://www.rtlinux.org/rtlinux/
-- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
---
For more information on Real-Time Linux see:
http://www.rtlinux.org/rtlinux/
