L4 for Openmoko FreeRunner

Shakthi Kannan shakthimaan at gmail.com
Thu Nov 13 06:31:43 CET 2008


--- On Thu, Nov 13, 2008 at 9:44 AM, Gernot Heiser <gernot at ok-labs.com> wrote:
| I'm not aware of any L4 version officially supporting the FreeRunner
| (GTA02). OKL4 has been ported to the GTA01 (see http://okl4.org). As
| the two platforms seem to have the same CPU core and a similar SoC,
| getting it going on the GTA02 would probably not be too hard.



Shakthi Kannan

More information about the l4-hackers mailing list