GitLab

While we configure gem5 and qemu to directly load the kernel, simics will use a
proper EFI-based firmware for boot.