Re: [ANNOUNCE] Adeos nanokernel for Linux kernel

From: Pavel Machek (pavel@suse.cz)
Date: Tue Jun 04 2002 - 11:10:02 EST


Hi!

> We have released the initial implementation of the Adeos nanokernel.
> The following is a complete description of its background, its
> implementation, its API, and its potential uses. Please also see the
> press release (http://www.freesoftware.fsf.org/adeos/pr-2002-06-03.en.txt)
> and the project's workspace (http://freesoftware.fsf.org/projects/adeos/).
> The Adeos code is distributed under the GNU GPL.

Sounds interesting...

> Here are some of the possible uses for Adeos (this list is far
> from complete):
> 1) Much like User-Mode Linux, it should now be possible to have 2
> Linux kernels living side-by-side on the same hardware. In contrast
> to UML, this would not be 2 kernels one ontop of the other, but
> really side-by-side. Since Linux can be told at boot time to use
> only one portion of the available RAM, on a 128MB machine this
> would mean that the first could be made to use the 0-64MB space and
> the second would use the 64-128MB space. We realize that many
> modifications are required. Among other things, one of the 2 kernels
> will not need to conduct hardware initialization. Nevertheless, this
> possibility should be studied closer.

Also, unlike UML, kernels are not protected from each other.

> 2) It follows from #1 that adding other kernels beside Linux should
> be feasible. BSD is a prime candidate, but it would also be nice to
> see what virtualizers such as VMWare and Plex86 could do with Adeos.
> Proprietary operating systems could potentially also be accomodated.

So if your FreeBSD+Linux combination crashes, you do not know if Linux or
FreeBSD caused it.

> 5) Drivers who require absolute priority and dislike other kernel
> portions who use cli/sti can now create a domain of their own
> and place themselves before Linux in the ipipe. This provides a
> mechanism for the implementation of systems that can provide guaranteed
> realtime response.

This is same approach rtLinux takes, right?
                                                                Pavel

-- 
Philips Velo 1: 1"x4"x8", 300gram, 60, 12MB, 40bogomips, linux, mutt,
details at http://atrey.karlin.mff.cuni.cz/~pavel/velo/index.html.

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Fri Jun 07 2002 - 22:00:21 EST