Here are binaries for WCH80 BabyPC computer.
