modifying qemu for casf