This time the VM doesn't boot after installation. It fails with the error message "emR3Debug: rc=VERR_PGM_INVALID_CR3_ADDR" in VBox.log. See 12:05 for the (German) error dialog window.
Update 2018-01-12: seems to be related to https://www.virtualbox.org/ticket/17436 and https://forums.virtualbox.org/viewtop....
ISO: archlinux-2018.12.01-x86_64.iso (kernel 4.14.9-1)
Installed kernel in VM: 4.14.11-1
Host details:
4.14.11-1-ARCH #1 SMP PREEMPT Wed Jan 3 07:02:42 UTC 2018 x86_64 GNU/Linux
virtualbox 5.2.4-1
virtualbox-host-dkms 5.2.4-1
Update: the same failure occurs when running on another host (4.14.8-1-ARCH #1 SMP PREEMPT Wed Dec 20 21:27:44 UTC 2017 x86_64 GNU/Linux, virtualbox 5.2.4-1, virtualbox-host-dkms 5.2.4-1)
Recorded using OBS Studio. Used settings: 800x600, 30 fps, 2500 kbps.
This is a scripted installation: A script runs on the VirtualBox host and installs Arch Linux automatically inside a virtual machine. It also supervises the progress of the installation.