[bug #64911] Support ACPI for OpenBSD EFI boot

2023-11-19 Thread Yuichiro Naito
UTC By: Yuichiro Naito When I booted OpenBSD from Grub2, the ACPI power-off function didn’t work. It just quit without the shutdown sequence when I pushed the power button of my PC. In my investigation, the OpenBSD kernel requires the ACPI table pointer in the boot argument. It is a member

[bug #64918] Provide random entropy for the OpenBSD kernel

2023-11-21 Thread Yuichiro Naito
06:47:42 AM UTC By: Yuichiro Naito The OpenBSD kernel expects that the loader fills random entropy in the “.openbsd.randomdata” section. The OpenBSD loader generates pseudo-random data in the following code. https://github.com/openbsd/src/blob/master/sys/lib/libsa/loadfile_elf.c#L100-L108 I added

[bug #64919] Update to the new console structure for the OpenBSD kernel > 7.2

2023-11-21 Thread Yuichiro Naito
Date: Wed 22 Nov 2023 07:43:31 AM UTC By: Yuichiro Naito The console boot argument structure has been updated since OpenBSD 7.3. https://github.com/Openbsd/src/commit/66d55b09c560003edd61d52fbd347170dbe9c32d https://github.com/Openbsd/src/commit/745c2f60e98fd1f418c104960a567e120624d705 This patc