Raspberry Pi port, piCore-15.0 is available!
Comments: This is the newer Xvesa from Xorg 7.1 that supports the numlock LED.