Situation:
  * Le BIOS d'origine ne permet pas de booter sur USB
  * Le périphérique de stoquage est une carte compact flash
  * Le système qui était sur les carte compact flash est une distribution BSD
  * On à pas encore réussi à installer GNU/Linux dessus

A noter que le processur est un i586 avec une emulation i686 en logiciel "dans le BIOS" (voir VSA sur le wiki du OLPC ou de Coreboot).

Pistes:
  * Il est possible d'installer une vielle version de Coreboot qui permet de démarrer par USB mais j'ai pour l'instant pas réussi:
    * On peut installer Coreboot sur une LPC1A (voir sur le wiki Coreboot ou le site de pcengine) et faire démarrer la Alix dessus, sauf que j'ai pas réussi à reprogrammer ça à partir d'une autre carte Alix1C ou APU1.
    * On peut aussi l'installer à partir d'une distribution GNU/Linux avec flashrom, sauf que faut démarrer une distribution GNU/Linux dessus d'abord.

Sinon pour installer GNU/Linux:
   * Y'a rien sur le port série avec GRUB => Ça marche pas (essayé avec Trisquel i686)
   * Avec PXE->iPXE on à des choses qui s'impriment, mais ça plante avant le C:
     * ça imprime "594kB free base memory after PXE unload" (arch/x86/prefix/pxeprefix.S:20: .asciz  "kB free base memory after PXE unload\n")
     * Ça plante avant d'appeler la fonction main ("__asmcall int main ( void ) {") (débuggé avec une POST card)

Autre pistes:
   * Essyaer d'autres distributions et bootloaders

Matériel requis très fortement conseillé pour essayer:
   * Un adaptateur port série (y'a pas d'écran)
   * Un adaptateur compact flash