Raspberry Pi port, piCore-15.0 is available!
I don't say it won't work - only that I haven't got it to work yet
vbetool extension posted