History log of /openbsd/sys/arch/powerpc64/conf/BOOT (Results 1 – 9 of 9)
Revision Date Author Comments
# da1599e9 08-Jan-2022 visa <visa@openbsd.org>

Remove verbose PCI and USB device info from BOOT

BOOT kernels do not print kernel messages, and currently there is no
way to change this at runtime. Remove the verbose device information
to save som

Remove verbose PCI and USB device info from BOOT

BOOT kernels do not print kernel messages, and currently there is no
way to change this at runtime. Remove the verbose device information
to save some space.

show more ...


# ca97e322 05-Sep-2020 kettenis <kettenis@openbsd.org>

Add mpii(4).


# fb187d90 24-Aug-2020 kettenis <kettenis@openbsd.org>

Enable xicp(4) here as well.


# 1e99a647 24-Aug-2020 kettenis <kettenis@openbsd.org>

Add some USB HID devices.


# 9d2990b3 03-Aug-2020 deraadt <deraadt@openbsd.org>

add more scsi devices, observed by gkoehler


# d2ccf808 24-Jul-2020 kettenis <kettenis@openbsd.org>

Remove bge(4) and brgphy(4) as the bootloader doesn't include network support
of any kind. Speeds up booting a bit.


# c15324e3 24-Jul-2020 kettenis <kettenis@openbsd.org>

Implement BOOT_QUIET option that supresses kernel printf output to the
console. When the kernel panics, print console output is enabled such
that we see those messages. Use this option for the powe

Implement BOOT_QUIET option that supresses kernel printf output to the
console. When the kernel panics, print console output is enabled such
that we see those messages. Use this option for the powerpc64 boot
kernel.

ok visa@, deraadt@

show more ...


# 2a3bfad0 19-Jul-2020 kettenis <kettenis@openbsd.org>

Enable xhci(4) in the BOOT kernel. While there is some USB-related
flakiness, this doesn't actually seem to be related to booting an
OpenBSD kernel straight from the bootloader kernel.


# d7917304 16-Jul-2020 kettenis <kettenis@openbsd.org>

Add BOOT kernel config.