uClinux plus my own patches, based on uClinux-dist-20110810.