Re: adding UEFI to NetBSD /boot/ [was Re: no HDMI on rpi4b NetBSD 10.1]

Hello

El 18/7/25 a las 10:10, Ramiro Aceves escribió:
> 
>  >El 17/7/25 a las 7:31, Steve Rikli escribió:
> 
> Hi Steve,
> 
> Thank you so much for sharing the results of your experiments and 
> findings with the RPi4 and the UEFI firmware! It has been very helpful 
> for me to better understand the subject.
> 
> I think it would be great to include this kind of information on the WEB 
> for new users who want to install NetBSD on the RPi4. A dedicated 
> chapter just for the RPi4—covering all the installation methods, with 
> sample commands—would be excellent. It could also include details about 
> what works, what doesn’t, and other useful notes.
> 
> https://wiki.netbsd.org/ports/evbarm/raspberry_pi/
> 
> For example, it would also help to have some hints on how to get the 
> camera working. I have it running on the RPi Zero W, but I’m not sure if 
> it works on the RPi4—I haven’t tested it yet. I remember it required 
> changing something in config.txt and placing a start_x.elf file in /boot 
> (if I recall correctly from my not-so-great memory). I spent hours 
> searching, and in the end, it was quite simple once I knew the right steps.
> 
> Adding all this information could save users a lot of time, and they’d 
> end up with a working system with minimal effort. Otherwise, they might 
> quickly return to Raspberry Pi OS, missing the opportunity to try 
> something different that actually works.
> 
> Just my thoughts—I'm no expert, just a very average user.
> 
> Best regards,
> Ramiro

That is what I mean, we have just lost here a number of potential users:

https://www.reddit.com/r/NetBSD/comments/1m5jjky/i_had_to_abandon_my_netbsd_experiment_on_the/

Regards.
Ramiro.



> 
> 
> 
> 
> 
> 
>