Какую технологию использует приложение Boxes?

QEMU - это эмулятор машины и виртуализатор. В качестве эмулятора машины он может запускать ОС и программы, созданные для одной машины (например, платы ARM), на другой машине (например, на вашем собственном ПК). В качестве виртуализатора QEMU достигает производительности, близкой к «родной», выполняя гостевой код непосредственно на центральном процессоре основной системы с помощью KVM.

KVM (Kernel-based Virtual Machine) - это модуль ядра Linux, который позволяет программам пользовательского пространства использовать возможности аппаратной виртуализации различных процессоров.

libvirt - это набор инструментов для безопасного манипулирования (создания, удаления и изменения) и мониторинга виртуальных машин.

libvirt-glib оборачивает libvirt для предоставления высокоуровневого объектно-ориентированного API, подходящего для приложений на основе glib.

SPICE(Simple Protocol for Independent Computing Environments) - это система доступа к удалённым рабочим столам и управления ими по сети.

Сервер SPICE - это библиотека, которая работает внутри двоичного файла QEMU. Он в основном отвечает за аутентификацию клиентских соединений, передачу графического вывода гостевой ОС клиенту и передачу пользовательского ввода (мышь и клавиатура) от клиента к гостю.

spice-gtk - это клиент SPICE, который обеспечивает просмотр гостевой ОС.