search

intel / FdtBusPkg

Device Tree-based Platform Device Driver Development for Tiano UEFI
https://wiki.riseproject.dev/display/HOME/EDK2_00_03+-+FdtBusDxe+support
Other
11 stars 1 forks source link

Update OVMF patch. #72

Closed andreiw closed 8 months ago

andreiw commented 8 months ago

Use /chosen/stdout-path instead of hardcoding /soc/serial@10000000.