Raspberry Pi port, piCore-16.0 is available!
... I guess this one is SDL2 because I wasn't the original maintainer?