* tock: use native time getter, remove globals
Tock has direct support for querying time. The prior `millis()`
method here replicated the same functionality, but missed some
corner case concerns around overflow/wrapping. Instead, just use
the native Tock time getter method. This also removes unneeded
global variables and methods.
* NonArduino/Tock: Update to latest libtock-c
Update to the latest libtock-c commit. libtock-c now includes a
libtockHal.h, so we can use that instead of the version here.
Signed-off-by: Alistair Francis <alistair@alistair23.me>
---------
Signed-off-by: Alistair Francis <alistair@alistair23.me>
Co-authored-by: Pat Pannuto <pat.pannuto@gmail.com>
The Tock libtock_lora_phy_gpio_disable_interrupt() syscall will disable
interrupts for the pin, but also put the pin into a disabled low power
state. This isn't what RadioLib expects and casues subsequent LoRaWAN
transfers to fail [1].
So after we disable interrupts and send the pin to low power let's
re-enable inputs as RadioLib expects.
1: https://github.com/jgromes/RadioLib/discussions/1303
Signed-off-by: Alistair Francis <alistair@alistair23.me>
* [HAL] Move HALs to src
* [CI] Temporarily drop unofficial STM32 (package down)
* [LR11x0] Fix ambiguous call
* [CI] Return Maple mini back to build matrix
