[okl4-developer] LPC2468

[Gernot Heiser]

>>>>> On Thu, 23 Oct 2008 15:31:51 +1100, Geoffrey Lee <glee at ok-labs.com> said:
GL> On Wed, Oct 22, 2008 at 06:59:08AM -0700, David Leimbach wrote:
>> Is there a port of OKL4 to this platform?  I'm just curious as we've  
>> got a lot of these where I work.  It's a fairly capable board we've  
>> got based on this SOC design (LPC2468) and 64MB of RAM, no MMU.
>> 
>> Running OKL4 Linux on this platform would be an ultimate goal, with  
>> the capability of running OKL4 processes other than linux being  
>> interesting.
>> 
>> Does having no MMU prevent this from being a possibility?

GL> David - currently OKL4 relies on the MMU hardware to implement
GL> its protection mechanisms, making the presence of an MMU
GL> a requirement on supported processors.

GL> L4 has previously been ported to processors with an MPU, however,
GL> doing a port to processors with an MPU will most likely require more 
GL> work than just a straightforwrd platform/SoC port.

Also, note that normal Linux requires an MMU. You'd be restricted to
uCLinux. And it's questionable what benefit you'd be getting from OKL4
in this case anyway.

Gernot