Use mbed as a Pi console cable to run command line Linux

Dependencies:   mbed

mbed.bld/shortlog@4f64dd8a2ca3: not found in manifest