bllodline wrote:
Your only real option for desktop level of features, at the lowest possible cost (under £10) is the RaspberryPi Zero. This obviously doesn’t have required the level of CPU power you want... but then that’s what the RapsberryPi 4 is for.
that's not true. to name a few, that have boards, beating the dust out of RPi.
Pine - Pine64, Rock64 and Co. look at "devices" section and then on wiki
Radxa - Rock Pi and Co
Hardkernel - Odroids
FriendlyARM - NanoPi's
Sinovoip - Bananas
Xunlong - Oranges
Khadas - Khadas VimNs
besides, the author didn't say, he looks for something under £10, but none of the listed boards producers make "overpriced" things, they all are pretty humble in pricing. The link for Xunlong is for their Aliexpress store, but it's legit, and they respond there, you may ask things, I don't know/remember if they have their own site.
IMHO, RPi is
the worst choice for the "developing bootloader + some aspect of kernel development", that is for "bare metal programming" - it's not even ARM, it's VC plus ARM as a toy controller. all the mentioned above, on the other hand, are real ARM computers, and you can bypass linux and directly handle the board. heck, you can even bypass uboot and take the whole control over everything, including with SDRAM initialization and other fun stuff. if you want something most powerful of this sea, than the best, still very affordable in price are Odroid-N2+ or any RK3399 based board, Pine even has a laptop with this chip for 200$. but the boards are from 60-85$ depending on amount of RAM mostly. and important enough - rk3399 is (relatively) well documented, at least if you can google (you'll need the leaked v1.3 TRM instead of halfassed "opensauce" v1.4 TRM. in short, Odroid N2+ (Amlogic S922X rev C) is hexa core (4 Cortex-A73 + 2 Cortex-A53), slightly more powerful, than RK3399, but very slightly, the latter, on the other hand (also hexa core 2 Cortex-A72 + 4 Cortex-A53) - has more interesting peripherals, and better documented.
PS. ah, and if you aren't satisfied with performance offering, the mentioned boards make, look at this "monsta", still not whoppingly overpriced, here,
this one and Co. but the SoCs they have, are from Huawei, with all the consequences.
it's not "apple silicone b00b5",
but it's a really cool board, it has even UFS3 storage! for the osdev, that would be fantastic. just as NVMe. linux is frying it god awully though - I watched the video on youtube. running linux, this board looks like its capabilities are dumbed down by 10. but you probably are gonna create something better, than linux?
there is also Asus Tinkerboards, Nvdia boards, but the latter are priced higher, than all aforementioned.