Hey Lazy Fediverse,
What's the state of the art for small embedded Linux images for Raspberry Pi 4 these days?
I'm looking for a minimal base system image, *not* a desktop distribution (debian/ubuntu/etc), ideally in the 30-100MB size (smaller the better), that gets me the kernel, libc, shell, network, GPU support (Vulkan or OpenGL, no need for X), etc.
Just enough Linux to build and run something on top of. Surely there are good options for this out there?
@swetland @dos Sure, it was an absolute PITA whittling it down. IIRCC a good chunk of it was just drivers for every single damn SDR that exists.
Fun Fact: you cannot simply build rpi's kernel defconfig statically because the end result is so big the kernel will panic. Ask me how I know this🤦♀️. Also, I'm curious, the rpi bootloader only supports fat32, so what did you wind up doing for a RO type experience? I usually use an initramfs linked into the kernel binary.
@dos @swetland I've done quite a bit of work on that actually for my personal project. I think the final result is in the 10s of megabytes, 64 bit, statically compiled kernel, no x but gpu support for hw video acceleration. I didn't enable networking but that could be turned on. Unfortunately the buildroot configs are on my PC and I am out of town at the moment, but I'll shoot you some info in a few days. Cheers!