]> rtime.felk.cvut.cz Git - jailhouse.git/blob - ci/jailhouse-config-x86.h
ci: Use script for building all configurations
[jailhouse.git] / ci / jailhouse-config-x86.h