[okl4-developer] New to OKL4

[Gavin Chow]

Hi All,

Good day!

I became a fan of OKL4 after reading about its microkernel approach and how
it is built with security in mind.

I've downloaded the latest release from http://wiki.ok-labs.com/Release/3.0 and
want to try it out in my environment.

Correct me if I'm wrong, but from what I understand, OKL4 is like a virtual
machine host, and OK Linux is the virtual machine guest. If that is the
case, do I setup OKL4 directly on a PC? Or should I install Linux on the PC
first, and then install OKL4 followed by OK Linux on top? I've tried the
second approach using Ubuntu 8.04 but I could not install OKL4 after
following these steps:

1. Install Ubuntu 8.04 and updated with latest patches
2. Downloaded http://wiki.ok-labs.com/downloads/release-3.0/okl4_3.0.tar.gz and
followed instructions from http://wiki.ok-labs.com/BuildingAndSimulating by
running:

$./tools/build.py machine=ia32_pc99 project=l4test
/usr/bin/env: python2.4: No such file or directory

And this is where I got stuck. I feel that I may have missed out on a whole
lot of stuff before I can actually run build.py. I'm new to embedded
development and I would like to learn more in this area.

I'd greatly appreciate anyone's feedback.

Thanks in advance!

Cheers!
Gavin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20081204/87604bf2/attachment.htm