Tag: kernel

• ACPI in OpenBSD reparieren