Re: Raspberry Pi 4 support on 32 bit earmv7hf GENERIC kernel

[email protected] (Michael van Elst) Sat, 28 Mar 2026 16:33:50 -0000 (UTC)
Newsgroups gmane.os.netbsd.ports.arm
Organization Serpens User Group
Message-ID <[email protected]>
[email protected] (Izumi Tsutsui) writes:

>> >I'm not familiar FDT or Raspberry Pi firmware, but ofctl says:
>> 
>> Yes. It has been deleted in "our" dtb file.

>Sorry, I don't see your point.  What's your actual suggestion?
>To revert some NetBSD's change in dts files??


My point is that with a suitable fdt, you already have support
for the framebuffer. That's the easiest way and works since
many years.

% ofctl -p /soc/fb
[Caching 235 nodes and 1235 properties]
compatible              6272636d 2c62636d 32383335 2d666200   "brcm,bcm2835-fb"
name                    666200.. ........ ........ ........   "fb"
phandle                 0000008f ........ ........ ........   ....
status                  6f6b00.. ........ ........ ........   ok.

genfb0 at simplebus1: switching to framebuffer console