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