Quote from caminati on July 29, 2011, 19:56
In another post I praised the modularity of Raspberry PI.
From this point of view, I guess that TinyCore would be the perfect OS for this machine, the only, yet substantial, problem being TinyCore being built for x86 architecture.
Indeed, Raspberry PI stirred quite an amount of interest on TinyCore forums:
Regarding recompiling TinyCore, its main developer himself displayed optimism:
http://forum.tinycorelinux.net.....2#msg30662, confirmed by an alpha successful recompilation attempt on some ARM flavour:
Which leads me to my first question:
You mention a buy-one-give-one program: suppose some TinyCore developer shows interest in hands-on recompiling it, and that I am willing to donate one unit to the team, would it be possible?
I've never owned any arm-based computer, but I guess one has to endow it with a BIOS (firmware): is it supplied when the hardware is shipped? Or, rather, Raspberry PI had a role in writing it? In the latter case, do you plan to release some sources? This would be great.
Does the BIOS support booting from usb? I guess yes, since any modern machine will, but since my experience is limited to x86, and since the relevance of USB for Raspberry PI, I am asking.
What bootloader are you using?
We're not currently using a bootloader - we actually boot via the GPU, which contains a proprietary RISC core (wacky architecture
. The GPU mounts the SD card, loads GPU firmware and brings up display/video/3d, loads a kernel image, resets the SD card host and starts the ARM.
You could replace the kernel image with a bootloader image, and that would work fine.