私はArch Linux初心者です。チュートリアルの最初の部分に従って、VirtualBox 5.1.6で動作するLinux環境を取得しました。
その後、xorg-server、xorg-xinit、twm、xterm、xf86-video -vesa virtualbox-guest-utils (virtualbox-guest-modules-arch) をインストールしました。
再起動すると次のメッセージが表示されます:
ACPI: No IRQ available for PCI Interrupt Link [LNKD]. Try pci=noacpi or acpi=off
A start job is running for Load Kernel Modules (3min 37s / 4min 30s).
ログインすると、次の画面が表示されます:
INFO: task systemd-modules:133 blocked for more than 120 seconds.
TAINTED: G O 4.7.4-1-ARCH #1
"echo 0 > /proc/sys/kernel/hung_task_timeout_secs" disables this message.
答え1
どうやら 4.7.x カーネルでは ACPI システムが大幅に書き換えられ、4.7.x-4.9.x カーネルには現在、カーネルが ACPI 割り込みを他のデバイスと共有できないものとして扱うというバグがあります。新規インストールで cat /proc/interrupts を実行したところ、VirtualBox (I/O APIC なし) では ACPI と vboxguest は両方とも IRQ9 にあります。どうやら vbox モジュールは割り込みを取得できず、ハングアップしているようです。VirtualBox で I/O APIC をオンにすると、Linux は各デバイスに独自の割り込みを与えるので、このバグを簡単に回避できます。