Marvell microkernel

The microkernel on the Marvell 88W8388 wireless chip is the only non-Free user-modifiable software on the XO laptop. This is where we explain what needs to be done, who is doing it, and what progress we have made.

Problem definition

Richard Stallman, in conversation with Ed Cherlin at the Linux CABAL, said that this driver is the only reason he doesn't support the XO. Ed thinks that support from rms and others who feel the same way is worth some trouble.

"The Marvell chip has very specific features that are essential to us -- stores its routing table in RAM, can forward packets through the mesh at low power while the main CPU is off, etc."--cjb

• ARM 9 processor
• Proprietary microkernel; Marvell does not own this code
• Source code for OLPC driver written on top of this microkernel is available.

Participants

These people have had something to do with the issue, or expressed interest in helping.

• Ed Cherlin is herding the cats on this one.
• Alex Gibson says he has some volunteers to work on it from University of Technology Sydney.
• cjb Chris Ball
• mbletsas
• AlbertCahalan
• bobkeyes
• palfrey

To Do

We need data and code. Put some links here.

• Microkernel documentation from owner
• Driver source code
• TinyOS?
• ARM 9 programming reference

Do we need an NDA from Marvell?

Trac Bug Tickets

• Eliminate dependency on licensed code in Marvell firmware
• wireless firmware not in-house