[okl4-developer] LPC2468

[Geoffrey Lee]

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?

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

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


> 
> Dave

	-gl

> 
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
> 

--