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
"mainline".
> For me, a $25 board that could run RTEMS would be fantastic.
--
Pierre FICHEUX -/- CTO OW/OWI, France -\- pierre.ficheux at openwide.fr
http://ingenierie.openwide.fr
http://www.ficheux.org
I would love to change the world, but they won't give me the source code
More information about the users
mailing list