[Cryptech-Commits] [sw/stm32] branch profiling updated (65b94ef -> 5ff8c95)

[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 profiling
in repository sw/stm32.

    from 65b94ef  Sigh, right offset for the wrong register. Get the PC (the address we interrupted) rather than LR (the return address from the function we interrupted).
     add 7ef51e8  Add some task metrics.
     new a7ee9a7  Merge branch 'task_metrics' into profiling
     new 15d7443  Duh, actually build task_metrics
     new 5ff8c95  Add task_yield_maybe

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 Makefile                 |  3 +++
 projects/hsm/Makefile    |  4 ++++
 projects/hsm/hsm.c       |  5 ++++
 projects/hsm/mgmt-task.c | 34 +++++++++++++++++++++++++-
 task.c                   | 62 ++++++++++++++++++++++++++++++++++++++++++++++++
 task.h                   | 12 ++++++++++
 6 files changed, 119 insertions(+), 1 deletion(-)