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: *** [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?