[glandium]

Well, it turns out Boxes is older than I thought (more than 10 years old), but it also looks like it came out of Red Hat (where virt-manager also comes from), so there is still a choice of where resources are allocated...