Signed-off-by: Rahix <rahix@rahix.de>

Instead of blocking the triggering task when core 1 is still busy
handling the previous interrupt, offload interrupt dispatching into
a separate task.  This is the first step towards making API-calls
interrupt safe.

Next to the async triggering, the synchroneous mechanism is retained for
special cases where async does not work (e.g. because of spin-locks).
Currently, there is only one such case when resetting core 1 (triggering
EPIC_INT_RESET).
Signed-off-by: Rahix <rahix@rahix.de>

Signed-off-by: Rahix <rahix@rahix.de>

Signed-off-by: Rahix <rahix@rahix.de>

Signed-off-by: Rahix <rahix@rahix.de>

api_interrupt_trigger() cannot fail except by a programmer error
(passing an invalid ID) in which case we should raise an assertion.
Thus, make it return `void` instead of `int`.

This is also in preparation for future work to schedule interrupts
asynchroneously.
Signed-off-by: Rahix <rahix@rahix.de>

See merge request card10/firmware!383

When opening an ACM device Linux sends the ACM_SET_CONTROL_LINE_STATE
with DTR and CTS high. We can use this re-enable the ACM device on our
side after a lockup.

BLE fixes 2020 1

See merge request card10/firmware!381

See merge request card10/firmware!379

See merge request card10/firmware!378

This speeds up file transfers from Linux machines. Looks like the impact
on power consumption is not too large. Android also does not seem to
take this into account.

Default main app selector

See merge request card10/firmware!375

I need unit tests :/

This allows to read and write strings to the config file.

Allows to set the string value of a key. Perists the value to the
configuration file.

Introduces a small state machine which parses the file character by
character. This eases the logic around parsing whole lines
significantly.

Now also trims lines, handling all non printable characters correctly.

max86150 pycardium api

See merge request card10/firmware!359