Re: L4Hurd at Sourceforge

[Ian Duggan]

> > I have created a new project at sourceforge called "l4hurd" aimed at
> > getting the Hurd to run using the L4 microkernel.
> 
> IMHO we should use savannah (savannah.gnu.org) instead of sourceforge.

We discussed this briefly a short while ago on this list. It was thought
that we should use Sourceforge to get things going, and then move to GNU
and Savannah when the project was more developed.

Things are ready to go on Sourceforge now. That's why I went with it.

What are the advantages of Savannah?

> I really dislike fiaco because it is written in C++, IMHO C is better for
> a microkernel and the GNU Coding Standards also recommends using C. Hazelnut
> uses a few bytes of C++ which are easy to remove AFAICS, so it's a
> better choice if you ask me. Writing an own L4 variant is also option.

I'm by no means a microkernel guru, so I'm not going to second guess the
various microkernel authors' choice of coding language. AFAICS, it
doesn't really matter as long as things work well.

As for GNU coding standards, I think the main argument they make for C
is portability and a large developer base. It seems to me that our
interface for this project is L4, so anything that "talks" L4 is fine,
regardless of what it's written in.

I think writing our own L4 variant is a bit extreme. My vision for this
project is to refactor the Hurd to be able to run on L4. Until we have
that, I don't see much need for another L4 kernel out there.

-- Ian

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Ian Duggan                    address@hidden
                              http://www.ianduggan.net