Looks like there's one here: https://github.com/hfiref0x/VBoxHardenedLoader/blob/master/B...

Alternately, it seems that QEMU on linux does a pretty good job as well.