Run Debian as the User VM


This tutorial assumes you have already set up the ACRN Service VM on an Intel NUC Kit. If you have not, refer to the following instructions:

We are using a Kaby Lake Intel NUC (NUC7i7DNHE) and Debian 10 as the User VM in this tutorial.

Before you start this tutorial, make sure the KVM tools are installed on the development machine and set IGD Aperture Size to 512 in the BIOS settings (refer to Figure 44). Connect two monitors to your Intel NUC:

$ sudo apt install qemu-kvm libvirt-clients libvirt-daemon-system bridge-utils virt-manager ovmf

Figure 44 Intel Visual BIOS

We installed these KVM tools on Ubuntu 18.04; refer to the table below for our hardware configurations.

Hardware Configurations

Platform (Intel x86)

Product/Kit Name

Hardware | Description

Kaby Lake



  • Intel(R) Core(TM) i7-8650U CPU @ 1.90GHz


  • UHD Graphics 620

  • Two HDMI 2.0a ports supporting 4K at 60 Hz

System memory

  • 8GiB SO-DIMM DDR4 2400 MHz

Storage capabilities

  • 1TB WDC WD10SPZX-22Z

PC (development machine)


  • Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz

System memory

  • 2GiB DIMM DDR3 Synchronous 1333 MHz x 4

Storage capabilities

  • 1TB WDC WD10JPLX-00M

Validated Versions

  • Ubuntu version: 18.04

  • ACRN hypervisor tag: v2.2

  • Service VM Kernel version: v2.2

Build the Debian KVM Image

This tutorial describes how to build a Debian 10 KVM image. The next few steps will detail how to use the Debian CD-ROM (ISO) image to install Debian 10 onto a virtual disk.

  1. Download the Debian ISO on your development machine:

    $ mkdir ~/debian10 && cd ~/debian10
    $ wget
  2. Install the Debian ISO via the virt-manager tool:

    $ sudo virt-manager
  3. Verify that you can see the main menu as shown in Figure 45 below.


    Figure 45 Virtual Machine Manager

  4. Right-click QEMU/KVM and select New.

    1. Choose Local install media (ISO image or CD-ROM) and then click Forward. A Create a new virtual machine box displays, as shown in Figure 46 below.


      Figure 46 Create a New Virtual Machine

    2. Choose Use ISO image and click Browse - Browse Local. Select the ISO image you get from Step 1 above.

    3. Choose the OS type: Linux, Version: Debian Stretch and then click Forward.

    4. Select Forward if you do not need to make customized CPU settings.

    5. Choose Create a disk image for virtual machine. Set the storage to 20 GB or more if necessary and click Forward.

    6. Rename the image if you desire. You must check the customize configuration before install option before you finish all stages.

  5. Verify that you can see the Overview screen has been set up, shown in Figure 47 below:


    Figure 47 Debian Setup Overview

  6. Complete the Debian installation. Verify that you have set up a Virtual Disk (VDA) partition, as shown in Figure 48 below:


    Figure 48 Virtual Disk (VDA) partition

  7. Upon installation completion, the KVM image is created in the /var/lib/libvirt/images folder. Convert the gcow2 format to img as the root user:

    $ cd ~/debian10
    $ qemu-img convert -f qcow2 -O raw /var/lib/libvirt/images/debian10.qcow2 debian10.img

Launch the Debian Image as the User VM

Re-use and modify the script in order to launch the new Debian 10 User VM.


This tutorial assumes SATA is the default boot drive; replace “/dev/sda1” mentioned below with “/dev/nvme0n1p1” if you are using an NVMe drive.

  1. Copy the debian.img to your Intel NUC:

    # scp ~/debian10/debian10.img user_name@ip_address:~/debian10.img
  2. Log in to the ACRN Service VM, and create a launch script from the existing script:

    $ cd ~
    $ cp /usr/share/acrn/samples/nuc/ ./
    $ sed -i "s/win10-ltsc.img/debian10.img/"
  3. Assign USB ports to the Debian VM in order to use the mouse and keyboard before the launch:

    $ vim
    <Add below as the acrn-dm parameter>
    -s 7,xhci,1-2:1-3:1-4:1-5 \


    This will assign all USB ports (2 front and 2 rear) to the User VM. If you want to only assign the USB ports at the front, use this instead:

    -s 7,xhci,1-2:1-3 \

    Refer to Device Model Parameters for ACRN for more information.

  4. Copy grubx64.efi to bootx64.efi:

    $ sudo losetup -f -P --show ~/debian10.img
    $ sudo mount /dev/loop0p1 /mnt
    $ sudo mkdir -p /mnt/EFI/boot
    $ sudo cp /mnt/EFI/debian/grubx64.efi /mnt/EFI/boot/bootx64.efi
    $ sync && sudo umount /mnt
  5. Launch the Debian VM after logging in to the Service VM:

    $ sudo ./
  6. View the Debian desktop on the secondary monitor, as shown in Figure 50 below:


    Figure 50 The Debian desktop appears on the secondary monitor (bottom image)

Enable the ttyS0 Console on the Debian VM

After the Debian VM reboots, follow the steps below to enable the ttyS0 console so you can make command-line entries directly from it.

  1. Log in to the Debian user interface and launch Terminal from the Application list.

  2. Add “console=ttyS0,115200” to the grub file on the terminal:

    $ sudo vim /etc/default/grub
    <Add console=ttyS0,115200>
    $ sudo update-grub
  3. Add virtio_console to /etc/initramfs-tools/modules. Power OFF the Debian VM after initramfs is updated:

    $ sudo echo "virtio_console" >> /etc/initramfs-tools/modules
    $ sudo update-initramfs -u
    $ sudo poweroff
  4. Log in to the Service VM and modify the launch script to add the virtio-console parameter to the Device Model for the Debian VM:

    $ vim ~/
    <add below to the acrn-dm command line>
    -s 9,virtio-console,@stdio:stdio_port \
  5. Launch Debian using the modified script. Verify that you see the console output shown in Figure 51 below:


    Figure 51 Debian VM console output