3 ms·

Ada on the Raspberry Pi Pico

• fmakunbound 5y ago
  That seems quite comprehensive. Does the Ada support build on the Pico C/C++ SDK or is it something from scratch?
  • synack 5y ago
    It's mostly from scratch. The linker script and crt0.S are derived from pico-sdk and register definitions are generated from pico-sdk's SVD file. Everything else is Ada.
• blippage 5y ago
  I've never programmed in Ada before, but it seems interesting. Does the Pico version support tasks?
  • synack 5y ago
    Tasking is supported by the Ravenscar runtime, which has not been merged upstream yet. https://github.com/AdaCore/bb-runtimes/pull/55 https://github.com/AdaCore/bb-runtimes/pull/55