diff --git a/CLAUDE.md b/CLAUDE.md
index 07429cc..3864538 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -58,15 +58,17 @@ arcbox-kernel/
 
 ## Kernel Configuration
 
-Key configs for macOS Virtualization.framework compatibility:
+Key configs for macOS VM backends (VZ = Virtualization.framework, HV = Hypervisor.framework):
 
 ```
 # Required for VirtioFS on macOS
 CONFIG_VIRTIO_IOMMU=y
 
-# PL011 serial console (Virtualization.framework)
+# Serial console: PL011 (VZ backend) + 8250/16550 (HV backend)
 CONFIG_SERIAL_AMBA_PL011=y
 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
+CONFIG_SERIAL_8250=y
+CONFIG_SERIAL_8250_CONSOLE=y
 
 # GPIO support (Virtualization.framework)
 CONFIG_GPIOLIB=y
diff --git a/configs/arcbox-arm64.config b/configs/arcbox-arm64.config
index dcda3f8..dcfe64c 100644
--- a/configs/arcbox-arm64.config
+++ b/configs/arcbox-arm64.config
@@ -243,11 +243,17 @@ CONFIG_DEVTMPFS=y
 CONFIG_DEVTMPFS_MOUNT=y
 CONFIG_TTY=y
 CONFIG_VT=n
-CONFIG_SERIAL_8250=n
 
-# PL011 serial console (for Virtualization.framework)
+# Serial console: PL011 for VZ backend, 8250/16550 for HV backend.
+# Both are built-in so the same kernel binary works with either backend.
 CONFIG_SERIAL_AMBA_PL011=y
 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
+CONFIG_SERIAL_8250=y
+CONFIG_SERIAL_8250_CONSOLE=y
+CONFIG_SERIAL_8250_NR_UARTS=4
+CONFIG_SERIAL_8250_RUNTIME_UARTS=4
+CONFIG_SERIAL_8250_DW=n
+CONFIG_SERIAL_OF_PLATFORM=y
 
 # GPIO support (for Virtualization.framework)
 CONFIG_GPIOLIB=y