Hi all,
First let me thank you for your work. Armbian is fantastic. Thank you.
I’m surprised that nobody has asked this question or at least I’m unable to find it on the forum / in docs.
My understanding is:
1. Debian x86 Linux kernel is same on all devices since regardless if it is laptop or server, it has BIOS or UEFI that will ”tell” the kernel what hardware, what buses, what addresses, etc. it has…
2. ARM boards don’t have BIOS and therefore Linux Kernel is different for every board.
I checked that on my Orange Pi Zero by default the /etc/apt/source.list and /etc/apt/source.list.d/ are default Debian repos and one Armbian repo. Poking around in https://apt.armbian.com/pool/main/l/ using Firefox I found a lot of kernels which leads me into the following assumption.
My assumption is Linux Kernel and packages armbian-config, armbian-firmware and armbian-tools-buster are updated from http://apt.armbian.com/ and everything else from Debian repository.
Could you please tell me am I right or is the topic more complicated?
Thank you.
Kind regards,
Karel