[okl4-developer] Platform recommendations

[David Given]

Josh Matthews wrote:
[...]
> This is definitely plausible. The best ARM architecture and simulation
> environment to get started with out of the box is Gumstix (PXA255) with
> the Skyeye simulator. Full instructions on how to do that are up at
> http://wiki.ok-labs.com/Prerequisites.

Thanks very much, that works like a charm. For reference, the standard
package of skyeye that comes with Ubuntu Heron (and therefore, I assume,
Debian) appears to work fine, and is much more recent than the one in
the wiki. Also for reference, skyeye's web page is down (database
failure from the error message) and so there is no manual...

Can I build OKL4 with more recent versions of gcc than 3.4?

[...]
> Yes, you can use just the OKL4 (Pistachio) kernel. Take a look at the
> l4test project in the latest release for an example of how that is done.

I have been. The build system is very scary. But I have only been
looking at it for 30 minutes so far.

And now, unfortunately, some boring legal stuff...

What license is OKL4 distributed under? The wiki doesn't have one I can
find, there's no overall license document in the source distribution,
and the technical FAQ simply says 'an open source license' without
actually saying which one. Each source file has a license at the top of
it; is this the same for all files? If so, what *is* it? It seems to be
a viral GPL-a-like, which is fine, but I don't recognise it. There are a
couple of references elsewhere to OKL4 being BSD licensed, but that
license certainly isn't any kind of BSD I've seen before. Can I get
clarification before I start doing too much work?

(Sorry if this seems overly pedantic, but I've been burned before on
projects based on code with dodgy licenses, which now turn out to be
really hard to distribute and therefore not really any use to anyone. So
I'd like to get this sorted out beforehand.)

-- 
┌─── ｄｇ＠ｃｏｗｌａｒｋ．ｃｏｍ ───── http://www.cowlark.com ─────
│
│ "All power corrupts, but we need electricity." --- Diana Wynne Jones,
│ _Archer's Goon_

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 252 bytes
Desc: OpenPGP digital signature
Url : http://lists.okl4.org/pipermail/developer/attachments/20080917/8a703c36/attachment.pgp