As you know, there is a Raspberry Pi specific Linux kernel at https://github.com/raspberrypi/linux.
It means that this is not Linux.
Indeed, it is a modified version of Linux.
The official Linux kernel is at https://github.com/torvalds/linux.
If you try to build the Raspberry Pi specific Linux kernel on the Raspberry Pi 3 Model B, you will have no problem:
https://www.raspberrypi.org/documentati ... uilding.md
But if you try to build the official Linux kernel on the Raspberry Pi 3 Model B, you will have a problem:
Code: Select all
$ make bcm2709_defconfig
HOSTCC scripts/basic/fixdep
HOSTCC scripts/kconfig/conf.o
SHIPPED scripts/kconfig/zconf.tab.c
SHIPPED scripts/kconfig/zconf.lex.c
SHIPPED scripts/kconfig/zconf.hash.c
HOSTCC scripts/kconfig/zconf.tab.o
HOSTLD scripts/kconfig/conf
***
*** Can't find default configuration "arch/arm/configs/bcm2709_defconfig"!
***
scripts/kconfig/Makefile:112: recipe for target 'bcm2709_defconfig' failed
make[1]: *** [bcm2709_defconfig] Error 1
Makefile:546: recipe for target 'bcm2709_defconfig' failed
make: *** [bcm2709_defconfig] Error 2
So, why the Raspberry Pi 3 Model B does not use Linux?
Is there any plan to move to Linux?
Thank you.
Best regards.