arm64/efiboot: load DTB on HONOR Magicbook 14 Art

OK kettenis@ mglocker@

Adds support for BPP16 16-bit color EFI framebuffer format as offered
by u-boot.

From Paul Fertser
ok patrick@ miod@ kettenis@

Fix typo in smbios product string for the HP OmniBook X.
Keep entries sorted by vendor.

ok miod@, mlarkin@

add device tree mapping for HP OmniBook X 14
ok patrick@ kettenis@

Add device tree mapping for Lenovo ThinkPad T14s.

ok tobhe@, mlarkin@

Add device tree mapping for Samsung Galaxy Book4 Edge.

ok kettenis@

Extend DMA constraints override to include all SC8280XP and X1E80100 based
machines. The shipped hardware containing ath11k and ath12k WiFi cards all
need to have 32-bit DMA constraints enforced.

o

Extend DMA constraints override to include all SC8280XP and X1E80100 based
machines. The shipped hardware containing ath11k and ath12k WiFi cards all
need to have 32-bit DMA constraints enforced.

ok kettenis@

show more ...

Add device tree mapping for Lenovo Yoga Slim 7x.

ok kettenis@

Add device tree mapping for Asus Vivobook S15.

ok deraadt@

Switch to a table for mapping smbios vendor/product to device tree file
name. Check for a partial match of the vendor like we already do for the
product. This will help adding more machines to the

Switch to a table for mapping smbios vendor/product to device tree file
name. Check for a partial match of the vendor like we already do for the
product. This will help adding more machines to the list.

ok patrick@, deraadt@

show more ...

Instead of allocating an arbitrary amount of extra space, let the EFI
devicetree fixup protocol less us how much space it needs.

Pointed out by Heinrich Schuchardt
ok tobhe@, mlarkin@

KNF

When loading a device tree using the "mach dtb" command, give firmware
a chance to make modifications (such as applying memory reservations)
by using the EFI devicetree fixup protocol.

ok patrick@,

When loading a device tree using the "mach dtb" command, give firmware
a chance to make modifications (such as applying memory reservations)
by using the EFI devicetree fixup protocol.

ok patrick@, jca@

show more ...

There is a 21BY x13s model. Handle it like 21BX.

ok beck@, deraadt@

Add a DMA constraint for the x13s. Some brilliant person at Qualcomm
decided that tying a wifi interface that can only do 32-bit DMA to their
compute platform that typically comes with at least 8G o

Add a DMA constraint for the x13s. Some brilliant person at Qualcomm
decided that tying a wifi interface that can only do 32-bit DMA to their
compute platform that typically comes with at least 8G of memory was a
sensible thing to do.

Maybe we should be able to use an IOMMU to work around that. But they
fucked that up as well.

ok patrick@, phessler@

show more ...

Fall back on loading the kernel from the EFI system partition if we're
booting from a disk without a BSD disklabel.

ok kn@, caspar@

The GMAC on the Rockchip RK356x and RK3588 SoCs can only do 32-bit DMA
so set the appropriate DMA constraint.

ok patrick@

Forcibly set console output to the framebuffer on the Lenovo x13s.
We should actually do something like checking that both stdout-path
and serial0 don't exist to realize we have to switch, but this h

Forcibly set console output to the framebuffer on the Lenovo x13s.
We should actually do something like checking that both stdout-path
and serial0 don't exist to realize we have to switch, but this hack
gets us going for now.

ok kettenis@

show more ...

The ACPI tables on the Lenovo x13s are incomplete and unusable. For
that reason, identify that we're running on that machine by looking at
the SMBIOS tables and load alternate device tree binaries f

The ACPI tables on the Lenovo x13s are incomplete and unusable. For
that reason, identify that we're running on that machine by looking at
the SMBIOS tables and load alternate device tree binaries from disk.

ok kettenis@

show more ...

Not every device tree we're getting passed has an /aliases or /chosen node,
but our code assumes so. It's useful to have them, so create them if they
do not exist.

ok kettenis@

Activate the device tree we just loaded from disk. While this doesn't fix
any current bug, it might catch issues in the future.

ok kettenis@

On the x13s, using the EfiLoaderData memory type for the memory block
that we load the kernel into doesn't work. But changing it to EfiLoaderCode
makes it work. Presumably the firmware creates a ma

On the x13s, using the EfiLoaderData memory type for the memory block
that we load the kernel into doesn't work. But changing it to EfiLoaderCode
makes it work. Presumably the firmware creates a mapping with executable
permissions in that case, which is obviously needed for executing kernel
code.

ok patrick@, mlarkin@

show more ...

Support switching from glass console to serial console on systems that
default to glass console.

ok miod@, patrick@

Fix previous commit; the FDT header is big-endian so we need to do the
appropriate byte swapping.

When we allocate space a buffer with some extra space for the FDT, adjust
the size of the FDT to reflect the size of that buffer. This prevents
an FDT overflow if the original FDT doesn't have enoug

When we allocate space a buffer with some extra space for the FDT, adjust
the size of the FDT to reflect the size of that buffer. This prevents
an FDT overflow if the original FDT doesn't have enough space for the
additional properties that we add to it in our bootloader.

Fixes boot on the mcbin.
tested by bluhm@, ok patrick@

show more ...