diff --git a/index/ad/adl_middleware/adl_middleware-0.1.0.toml b/index/ad/adl_middleware/adl_middleware-0.1.0.toml new file mode 100644 index 00000000..c9b68caa --- /dev/null +++ b/index/ad/adl_middleware/adl_middleware-0.1.0.toml @@ -0,0 +1,30 @@ +description = "Middleware layer of the Ada Drivers Library project" +long-description = '''# adl_middleware + +Middleware layer of the Ada Drivers Library project. + +This crate is a snapshot of the `middleware` of [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware). + +Any bug report, issue, contribution must be adressed to the [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo. + +''' + +name = "adl_middleware" +version = "0.1.0" +licenses = ["BSD 3-Clauses"] +authors=["AdaCore"] +website="https://github.com/AdaCore/Ada_Drivers_Library/" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +project-files = ["adl_middleware.gpr"] +tags = ["embedded", "nostd", "fat", "bitmap"] + +[[depends-on]] +hal = "^0.1.0" + +[origin] +commit = "e9b24584f58040b8b57a78e953966965e3894a3b" +url = "git+https://github.com/Fabien-Chouteau/adl-middleware.git" + diff --git a/index/co/cortex_m/cortex_m-0.2.0.toml b/index/co/cortex_m/cortex_m-0.2.0.toml new file mode 100644 index 00000000..3c86ed65 --- /dev/null +++ b/index/co/cortex_m/cortex_m-0.2.0.toml @@ -0,0 +1,33 @@ +description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)" +long-description = '''# cortex-m + +Ada drivers for the peripherals of ARM Cortex-M micro-controllers +(NVIC,\nSysTick, etc.) + +This crate is a snapshot of the `Cortex-M` support in [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m). + +Any bug report, issue, contribution must be adressed to the [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo. + +''' + +name = "cortex_m" +version = "0.2.0" +licenses = ["BSD 3-Clauses"] +authors=["AdaCore"] +website="https://github.com/AdaCore/Ada_Drivers_Library/" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"] +tags = ["embedded", "arm", "nostd"] + +auto-gpr-with=false # User has to select only one project file + +[[depends-on]] +hal = "^0.1.0" + +[origin] +commit = "2b6398536e8c606cb5a56259affbcb4a273c59ca" +url = "git+https://github.com/Fabien-Chouteau/cortex-m.git" + diff --git a/index/em/embedded_components/embedded_components-0.1.0.toml b/index/em/embedded_components/embedded_components-0.1.0.toml new file mode 100644 index 00000000..28ce8436 --- /dev/null +++ b/index/em/embedded_components/embedded_components-0.1.0.toml @@ -0,0 +1,31 @@ +description = "Platform agnostic drivers to interface external components" +long-description = '''# embedded-components + +Platform agnostic drivers to interface external components. + +This crate is a snapshot of the `components` of [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/components). + +Any bug report, issue, contribution must be adressed to the [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo. + +''' + +name = "embedded_components" +version = "0.1.0" +licenses = ["BSD 3-Clauses"] +authors=["AdaCore"] +website="https://github.com/AdaCore/Ada_Drivers_Library/" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +project-files = ["embedded_components.gpr"] +tags = ["embedded", "nostd"] + +[[depends-on]] +hal = "^0.1.0" +adl_middleware = "^0.1.0" + +[origin] +commit = "1f29afafd35156b8d288f5ebd66a6ff8a7d1b58e" +url = "git+https://github.com/Fabien-Chouteau/embedded-components.git" + diff --git a/index/mi/microbit_bsp/microbit_bsp-0.1.0.toml b/index/mi/microbit_bsp/microbit_bsp-0.1.0.toml new file mode 100644 index 00000000..ebb95115 --- /dev/null +++ b/index/mi/microbit_bsp/microbit_bsp-0.1.0.toml @@ -0,0 +1,31 @@ +description = "Middleware layer of the Ada Drivers Library project" +long-description = '''# microbit BSP + +Board Support Package for the BBC micro:bit https://microbit.org/ + +This crate is a snapshot of [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware). + +Any bug report, issue, contribution must be adressed to the [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo. + +''' + +name = "microbit_bsp" +version = "0.1.0" +licenses = ["BSD 3-Clauses"] +website="https://github.com/AdaCore/Ada_Drivers_Library/" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +project-files = ["adl_middleware.gpr"] +tags = ["embedded", "nostd", "microbit", "bbc", "nrf51", "bsp"] + +[[depends-on]] +hal = "^0.1.0" +nrf5x_hal = "^0.1.0" +embedded_components = "^0.1.0" + +[origin] +commit = "1ae71dc64c95df4c927981c32e4da35bb05ce7a4" +url = "git+https://github.com/Fabien-Chouteau/microbit_bsp.git" + diff --git a/index/mi/microbit_examples/microbit_examples-0.1.0.toml b/index/mi/microbit_examples/microbit_examples-0.1.0.toml new file mode 100644 index 00000000..0d1a5465 --- /dev/null +++ b/index/mi/microbit_examples/microbit_examples-0.1.0.toml @@ -0,0 +1,121 @@ +description = "Examples and tutorials for Ada on the BBC micro:bit" +long-description = '''# microbit_examples + +This crate is a snapshot of the micro:bit examples in [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m). + +Any bug report, issue, contribution must be adressed to the [Ada Drivers +Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo. + +The Micro:Bit is a very small ARM Cortex-M0 board designed by the BBC for +computer education. It's fitted with a [Nordic +nRF51](https://www.nordicsemi.com/eng/Products/Bluetooth-low-energy/nRF51822) +Bluetooth enabled microcontroller and an embedded programmer. You can get it +at: + + - [Pimoroni (UK/EU)](https://shop.pimoroni.com/collections/micro-bit/products/microbit) + - [Kitronik (UK/EU)](https://www.kitronik.co.uk/5613-bbc-microbit-board-only.html) + - [ThePiHut (UK/EU)](https://thepihut.com/collections/microbit/products/micro-bit) + - [AdaFruit (US)](https://www.adafruit.com/products/3530) + +# How to setup the Ada development environment for the Micro:Bit + +GNAT Community now comes with micro:bit and pyOCD support built-in. So you only +need to download the ARM ELF and the native package from +[here](https://www.adacore.com/download) + +## pyOCD programmer + +The Micro:Bit comes with an embedded programming/debugging probe implementing +the +[CMSIS-DAP](https://docs.mbed.com/docs/mbed-os-handbook/en/latest/advanced/DAP/) +protocol defined by ARM. + +To use it on Linux, you might need privileges to access the USB ports without +which the flash program will say "No connected boards". + +On Ubuntu, you can do it by creating (as administrator) the file +/etc/udev/rules.d/mbed.rules and add the line: +``` +SUBSYSTEM=="usb", ATTR{idVendor}=="0d28", ATTR{idProduct}=="0204", MODE="0666" +``` +then restarting the service by doing + +```shell +$ sudo udevadm trigger +``` + +## Open one of example projects and build it + +Start GNAT Programming studio (GPS) with Alire and one micro:bit example +project: + + - `alr edit analog_in/analog_in.gpr` + - `alr edit follower/follower.gpr` + - `alr edit digital_in/digital_in.gpr` + - `alr edit accelerometer/accelerometer.gpr` + - `alr edit buttons/buttons.gpr` + - `alr edit BLE_beacon/BLE_beacon.gpr` + - `alr edit digital_out/digital_out.gpr` + - `alr edit servos/servos.gpr` + - `alr edit neopixel/neopixel.gpr` + - `alr edit text_scrolling/text_scrolling.gpr` + - `alr edit analog_out/analog_out.gpr` + - `alr edit music/music.gpr` + +Press F4 and then press Enter to build the project. + +## Program the board + +Plug your micro:bit board with a USB cable, and wait for the system to +recognize it. This can take a few seconds + +In the GPS toolbar, click on the "flash to board" button to program the +micro:bit. + +After a few seconds, you should see a text scrolling on the LED matrix. + +That's it, you are ready to hack the micro:bit with Ada! + +''' + +name = "microbit_examples" +version = "0.1.0" +licenses = ["BSD 3-Clauses"] +website="https://github.com/AdaCore/Ada_Drivers_Library/" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +project-files = ["analog_in/analog_in.gpr", + "follower/follower.gpr", + "digital_in/digital_in.gpr", + "accelerometer/accelerometer.gpr", + "buttons/buttons.gpr", + "BLE_beacon/BLE_beacon.gpr", + "digital_out/digital_out.gpr", + "servos/servos.gpr", + "neopixel/neopixel.gpr", + "text_scrolling/text_scrolling.gpr", + "analog_out/analog_out.gpr", + "music/music.gpr"] +tags = ["embedded", "nostd", "microbit", "nrf51"] + +auto-gpr-with=false # User has to select only one project file + +[[depends-on]] +microbit_bsp = "^0.1.0" + +[gpr-set-externals] +MICROBIT_BSP_RUNTIME_CHECKS="enabled" +MICROBIT_BSP_CONTRACTS="enabled" +MICROBIT_BSP_BUILD_MODE="debug" +NRF5X_RUNTIME_CHECKS="enabled" +NRF5X_CONTRACTS="enabled" +NRF5X_BUILD_MODE="debug" +CORTEXM_RUNTIME_CHECKS="enabled" +CORTEXM_CONTRACTS="enabled" +CORTEXM_BUILD_MODE="debug" + +[origin] +commit = "a926cc69faf2cb7805f5dff508b587f2ed7fc065" +url = "git+https://github.com/Fabien-Chouteau/microbit_examples.git" + diff --git a/index/nr/nrf5x_hal/nrf5x_hal-0.1.0.toml b/index/nr/nrf5x_hal/nrf5x_hal-0.1.0.toml new file mode 100644 index 00000000..fc3d8973 --- /dev/null +++ b/index/nr/nrf5x_hal/nrf5x_hal-0.1.0.toml @@ -0,0 +1,20 @@ +description = "Drivers and HAL for the Nordic nRF5X micro-controller family" +name = "nrf5x_hal" +version = "0.1.0" +licenses = ["BSD 3-Clauses"] +website="https://github.com/AdaCore/Ada_Drivers_Library/" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +project-files = ["nrf51.gpr", "nrf52.gpr"] +tags = ["embedded", "nostd", "nrf51", "nrf52", "nordic", "drivers", "ble"] + +auto-gpr-with=false # User has to select only one project file + +[[depends-on]] +cortex_m = "^0.2.0" +hal = "^0.1.0" + +[origin] +commit = "0cf20efac2d0a64ed22844edbfcdd3acbbcdb1cc" +url = "git+https://github.com/Fabien-Chouteau/nrf5x-hal.git" +