Raspberry PI

Pierre Ficheux pierre.ficheux at openwide.fr
Tue Nov 27 22:18:50 UTC 2012

Le 27/11/12 23:15, Angelo Fraietta a écrit :
> I had a look here and it says that source code is available
> http://elinux.org/Rpi_kernel_compilation
>     The kernel source should be downloaded from the RPI linux section on
>     GitHub <https://github.com/raspberrypi/linux>. Although you could
>     just compile the vanilla kernel from Kernel.org
>     <http://www.kernel.org/>, it will not have the necessary drivers and
>     modules for the Broadcom SoC on the RPi. You can however apply
>     patches from the vanilla kernel to the RPi one - be prepared for
>     potential compiler grumbles though!
> That indicates to me that the first link does include the driver source
> and the vanilla one does not

Right, you should use a specific kernel for Raspberry as it's not

> For me, a $25 board that could run RTEMS would be fantastic.

Pierre FICHEUX -/- CTO OW/OWI, France -\- pierre.ficheux at openwide.fr
I would love to change the world, but they won't give me the source code

More information about the users mailing list