"Porting Contiki Operating System to RIEST2430" by Juan Wang, Wei Ma, and Dan Liu, published in
"Emerging Intelligent Computing Technology and Applications", 2012, p. 383: "Due to the 8051 MCU’s unique characteristics, there are only a handful of toolchains available. The most noteworthy open source solution is the Small Device C Compiler (SDCC)."