. systemd-boot-dbg:core2-32-intel-common:./.