]> rtime.felk.cvut.cz Git - jailhouse.git/history - ci/coverity_model.c
configs: qemu: Allow linux to write into seral0.
[jailhouse.git] / ci / coverity_model.c
2015-03-20 Jan Kiszkaci: Add Coverity model for kmalloc