using "platforms/cpus/quark-c1000.repl" led: Miscellaneous.LED @ pwm 0x00000000 pwm: 0 -> led@0 button: Miscellaneous.Button @ gpio 0x00000000 -> gpio@7 radio: Wireless.CC2520 @ spi1 1 -> gpio@4 2 -> gpio@5 3 -> gpio@6 4 -> gpio@29 gpio: 0 -> radio@0 1 -> radio@1 lm74: Sensors.TI_LM74 @ spi0