<div>Hi All,</div>
<div> </div>
<div>Good day!</div>
<div> </div>
<div>I became a fan of OKL4 after reading about its microkernel approach and how it is built with security in mind.</div>
<div> </div>
<div>I've downloaded the latest release from <a href="http://wiki.ok-labs.com/Release/3.0">http://wiki.ok-labs.com/Release/3.0</a> and want to try it out in my environment.</div>
<div> </div>
<div>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:</div>
<div> </div>
<div>1. Install Ubuntu 8.04 and updated with latest patches</div>
<div>2. Downloaded <a href="http://wiki.ok-labs.com/downloads/release-3.0/okl4_3.0.tar.gz">http://wiki.ok-labs.com/downloads/release-3.0/okl4_3.0.tar.gz</a> and followed instructions from <a href="http://wiki.ok-labs.com/BuildingAndSimulating">http://wiki.ok-labs.com/BuildingAndSimulating</a> by running:</div>
<div> </div>
<div>$./tools/build.py machine=ia32_pc99 project=l4test</div>
<div>/usr/bin/env: python2.4: No such file or directory</div>
<div> </div>
<div>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.</div>
<div> </div>
<div>I'd greatly appreciate anyone's feedback.</div>
<div> </div>
<div>Thanks in advance!</div>
<div> </div>
<div>Cheers!</div>
<div>Gavin</div>