Jeremy Linton

I have a fix for the DT PCIe issue, which shows up on the more recent SoC revisions as well. (basically updating more of the DT with the programming edk2...

Hmm, what is the error? Can you attach the earlycon/etc output here? Because this should be working (and has in the past) if you just start it from the uefi...

Their instructions differ a bit from the way I have been doing it. With arm64 you should generally ignore the bits about appending the kernel image, and either compile with...

Ok, couple of comments, what does `file combinedvminitrd.efi` say? Also, are you using the systemd-stub command to create the image or that ugly objcopy/etc sequence you linked? I would try...

I've got a really old protocol analyzer (doesn't do any signal checking). If you give me a bit more detail about what is failing and what you want captured, I...

[rpi_floppy_disk_convert.zip](https://github.com/pftf/RPi4/files/4601518/rpi_floppy_disk_convert.zip) [rpi_floppy_no_disk.zip](https://github.com/pftf/RPi4/files/4601519/rpi_floppy_no_disk.zip) Here are a couple traces from the dw2 on the rpi4 in edk2 while booting to the bds. One with a floppy in the drive, one without. They...

This is variable speed via i2c? One of the things here is to start porting some of these drivers to the efi driver model. Because, yes, ACPI defines the thermal...

I have a keyboard/mouse plugged into the CM4+IO Boards USB ports. Its working fine in edk2+linux. That said I don't have the `dtoverlay=dwc2,dr_mode=host` in my config.txt anymore either. But I...

The linux GPIO driver doesn't have ACPI bindings, beyond that we probably need to move the DSDT GPIO definition into its own SSDT so it can be enabled/disabled based on...

I think sorta the point with the rpi4 and SPI variables, is that you can rename the rpi4 image to anything you want and it should work. It will then...