Results 53 comments of Sharpened Blade

Doesnt just need device tree, and there is a setting to enable devicetree. After that shouldnt it be just passing the .dtb file to the kernel.

> @hellosway The device tree support for the RPi4 wasn't the main focus area for this project. The idea was to create a single UEFI+ACPI firmware image that can boot...

If `devicetree` or `ACPI+devicetree` is enabled for `system table selection` vc4 is working.

What exactly do you mean by boot screen. Is it the raspberry pi logo with the progress bar at the bottom.

EFI stubbed images do work, the default arch and fedora aarch64 kernel images boot and are EFI-stubbed, only booting with the initramfs and command line bundled fails. Maybe systemd-stub is...

The objcopy command is currently the only way to build the images, everything else uses the same command, it was originally found by a systemd dev I think. systemd-stub is...

It is on both an sd card, and external (max speed) usb 3.0 drive. It takes the same time on both, so I dont think thats it. It also is...

> If booting after a long time there will be many more memory errors for the storage medium to disk check for It happens on consecutive boots. > Incorrect boot...

How do I get debug logs, and also if I set the core to max overclock for 60 seconds after boot, will that help.

BiDirectional text is partially a shell thing, partially a font thing, not very much a terminal thing in a prefect world, but if ti must be done in a terminal,...