G S Madhusudan
madhu at terravault.net
Thu May 31 15:02:28 CEST 2012
This is in reply to Oliver Horst's posting on PPC support.
I am running a research program to develop variants of L4 for
use in India at IIT-Madras.
Our target platforms are Freescale QorIQ processors
(P2041, P4080 and T4240 - with hypervisor support) and Cortex A9 processors.
We will initially use std dev boards but we are also developing our own
As someone pointed out it helps if someone has knowledge of PPC and kernels.
I have been hacking open source kernels since 1985 ! (BSD 4.x) and have been
working on PPC development since 1998, so while I do not underestimate the
it can be done. We also have access to Freescale's processor architecture
team so that helps a bit.
The project goal is actually ambitious since we want to replace Linux in
installations. I lead a Mach 3.0 based effort in the 90s along with IBM
and I am all too painfully aware of how uKernel based projects can fail !
I am also coordinating a processor development effort and
Fiasco+ Genode combination will also be ported on to that processor.
But it is a specialized custom processor so I suspect no one else
other than my team be interested in that port. But one aspect of teh
processor is aimed
at improving the MMU so that the cost of context switches can be improved.
If you cannot fix the OS, just fix the CPU ! Any thoughts on this aspect are
On top of Fiasco we are developing UTM + router type appliances.
Later we plan to port the Drizzle RDBMS.
We would be glad to work with anyone with similar goals.
Currently it is a 4 member team along with 7 MTech students doing projects
aspects of this research. We also have access to sufficient P2041 and p4080
Once our boards are ready (the 2041 boards i being PCB routed now), we plan
an engineering curriculum using this HW and focusing on secure systems and
the plan is to offer it to Indian engineering schools but anyone can use it.
G S Madhusudan
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers