On 07/12/2015 10:06, Nicholas H.Tollervey wrote: > I've been chatting with Ben N. about RPi support. Once we're happy, > they're happy to include command line packages for creating a hex and > flashing into Raspbian. Users can use whatever editor they like then... > > WRT REPL... they already have picocom as a package for that sort of thing. Thanks TJG