Comment # 1 on bug 1202983 from Tom Lebreux

(In reply to Jakob Lorenz from comment #0)
> Today I wanted to test MicroOS on my RaspberryPi 4. Unfortunately, the
> display output stopped during the boot process, with the error:
> simple-framebuffer.0: [drm] ERROR could not acquire memory range [mem
> 0x3e3cf000-0x3ebb7fff flags 0x200]: error -16
> 
> Steps to reproduce:
> 1.Download latest MicroOS for RaspberryPi & flash it to sd card.
> 2.Try to boot the system

I had the same issue. I was able to "fix" it by adding `dtoverlay=disable-vc4`
to a newly created file named extraconfig.txt in the directory that contains
config.txt.

So something like

mount /dev/mmcblk0p1 /mnt
echo 'dtoverlay=disable-vc4' >> /mnt/extraconfig.txt
umount /mnt

I still get the "simple-framebuffer error -16" error message, but at least I
get to install it now..