[Cryptech-Commits] [sw/libhal] branch ksng updated (018b238 -> a76a684)

[git at cryptech.is]

This is an automated email from the git hooks/post-receive script.

paul at psgd.org pushed a change to branch ksng
in repository sw/libhal.

    from 018b238  Decorator doesn't work properly with --all-tests, use runtime check.
     add 18c297c  adapt to the new experimental tasking system
     add a76a684  Merge branch 'ksng' into no-rtos

No new revisions were added by this update.

Summary of changes:
 core.c         | 37 +++++++++++++++++++++++--------------
 hal_internal.h |  1 +
 hal_io_fmc.c   |  2 ++
 locks.c        |  5 +++++
 rpc_server.c   |  8 +-------
 5 files changed, 32 insertions(+), 21 deletions(-)