Marvell microkernel: Difference between revisions

From OLPC
Jump to navigation Jump to search
(→‎History: Discussion; Marvell firmware interface manual)
(More links)
Line 1: Line 1:
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.
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 to create a Free replacement, who is doing it, and what progress we have made.


==Problem definition==
==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.
[[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.

Theo de Raadt of OpenBSD is very angry at the use of this proprietary firmware module.


"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
"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
* [http://www.arm.com/products/CPUs/ARM946E-S.html ARM 946E-S processor]
* Proprietary microkernel; Marvell does not own this code
* Proprietary microkernel; Marvell does not own this code
* Source code for OLPC driver written on top of this microkernel is available.
* Source code for OLPC driver written on top of this microkernel is available.
* "The [[88W8388]] is a wireless controller chip made by Marvell. It is part of the unliberated Libertas chip family. Outside of this page, it is undocumented."


==Participants==
==Participants==
Line 32: Line 35:


* Microkernel documentation from owner
* Microkernel documentation from owner
* Create development environment with ARM cross compiler
* Driver source code: 8388 "[[libertas]]" driver from our kernel tree: git://git.infradead.org/users/marcelo/libertas managed by Marcelo Tosatti, [http://lists.infradead.org/pipermail/libertas-dev/ discussion]
* Driver source code: 8388 "[[libertas]]" driver from our kernel tree: git://git.infradead.org/users/marcelo/libertas managed by Marcelo Tosatti, [http://lists.infradead.org/pipermail/libertas-dev/ discussion]
* TinyOS?
* TinyOS?
* ARM 9 programming reference
* ARM 9 programming reference
* Extract and analyze firmware object code


Do we need an NDA from Marvell?
Do we need an NDA from Marvell?

Revision as of 07:49, 12 January 2008

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 to create a Free replacement, 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.

Theo de Raadt of OpenBSD is very angry at the use of this proprietary firmware module.

"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 946E-S processor
  • Proprietary microkernel; Marvell does not own this code
  • Source code for OLPC driver written on top of this microkernel is available.
  • "The 88W8388 is a wireless controller chip made by Marvell. It is part of the unliberated Libertas chip family. Outside of this page, it is undocumented."

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

At one time gumstix was said to be interested.

LinuxToGo has a related project.

To Do

We need data and code. Put some links here.

Do we need an NDA from Marvell?

There appears to be no documentation of this chip on the Marvell Web site. They say that it is still in OEM sampling, and a developer's kit is available. OK, who has the kit?

History