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