ham5urg | Has anyone debootstrapped to a Rpi 8gb-emmc-CM4? How to handle the installation of kernels from the repository? | 14:17 |
---|---|---|
gnarface | ham5urg: i just answered you in #devuan but there aren't, basically | 14:48 |
ham5urg | yes, thanks. | 14:49 |
gnarface | if debian has a packaged rpi kernel that's news to me | 14:50 |
gnarface | in theory it wouldn't be different though | 14:50 |
gnarface | all the x86 images have stock debian kernels and these devuan ARM images don't because debian doesn't support them at all, or at least that's what i heard last | 14:51 |
ham5urg | gnarface, https://packages.debian.org/search?keywords=linux-image-rpi | 14:54 |
gnarface | interesting | 14:55 |
gnarface | although inferring from the description it kinda sounds like this kernel isn't for the 8GB ones | 14:55 |
ham5urg | yes, looks like <4 will work good, ==4 will not work or not good. | 14:55 |
c0rnelius | plus thats mainline | 15:17 |
EHeM | The linux-libc-dev package is having problems (amd64 package has been updated, arm64 package is missing). | 21:38 |
EHeM | While all the dislike of UEFI is warranted, (U)EFI has one rather extraordinarily valuable feature: It is OS-agnostic. | 21:41 |
EHeM | Tianocore on Raspberry PI is *really* slick, generic GRUB installation and everything works (though until the VC4 driver gets fixed, efifb it is). | 21:42 |
Generated by irclog2html.py 2.17.0 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!