At the point the libtock-c redesign (#370) merged, there were still a few outstanding tasks. This issue tracks the completion of those.

un-ported drivers:

• ipc (@alevy)
• ble (@alevy)
• i2c_master (@alevy)
• i2c_master_slave (@alevy)

examples not ported or tested (currently contained in the wip folder)

• spi_buf (@hudson-ayers)
• spi_byte (@hudson-ayers)
• spi_controller_transfer (@hudson-ayers)
• spi_peripheral (@hudson-ayers)
• lora

Other:

• should we remove the courses that no longer compile?