Electroteach

To produce a list of mbed devices
Of current interest to me is : 9900

mbedls -l

also check out mbed.com here
| target_id_prefix | platform_name |
|------------------|-----------------------|
| 0001 | LPC2368 |
| 0002 | LPC2368 |
| 0003 | LPC2368 |
| 0004 | LPC2368 |
| 0005 | LPC2368 |

Mike giving a short presentation

Ada format help

listen to him playing

learning Ada

Learning about: GNAT toolchain from the GNAT Community 18 edition,
project manager (GPRbuild)
integrated development environment (GNAT Programming Studio).

Dividing this restarted project into two parts:
1. installing the toolchain and
2. sample source code

default install directories:
~/opt/GNAT/2019/bin $ [ try ./gpr ]
checkout [sudo ./doinstall] and

gps will be installed in [/opt/gps]

~/Ada_Drivers_Library/scripts $ ./project_wizard.py

login to your account and then navigate to github root

maqueen

Ada on BBC micro:bit
with respect to Linux
ensure that /home/mikeh/opt/GNAT/2019/bin or similar is in the PATH environment variable.

repl online compilation

Some rules when connecting devices (modules) like sensors: with special attention to serial busses like i2c.
This is the start of a guide to show how to build circuits with multiple types of sub assemblies.
It also documents the thought processes in connecting a Raspberry Pi to external sensors. The sensors are on a standalone board and operate

from different voltages. Work is happening to interface the BBC micro:bit, Cypress boards and Arduinos.
The i2c protocol requires the SDA and SCL lines to be bidirectional (i.e. input and output)