[Cryptech-Commits] [sw/stm32] branch hashsig updated (46fbe98 -> def1710)

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

    from 46fbe98  Reconstruct the hashsig hash tree(s) on device restart.
     add 12585a4  Add some task metrics.
     add 9ecd51a  Copy profiling code from MCUOnEclipse.
     add 358d038  Port profiling code, using a new SysTick hook and new CLI commands.
     add b2858c0  Correct offset to get the PC.
     add 03d7fa2  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 2913492  Duh, actually build task_metrics
     add 2e1f880  Add task_yield_maybe
     add 9cec66f  Copy profiling code from MCUOnEclipse.
     add 1815f1b  Port profiling code, using a new SysTick hook and new CLI commands.
     add 4d69f1a  Correct offset to get the PC.
     add 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.
     add a7ee9a7  Merge branch 'task_metrics' into profiling
     add 15d7443  Duh, actually build task_metrics
     add 5ff8c95  Add task_yield_maybe
     add 7222785  Rebase branch 'profiling' from master
     add f508e24  cleanup
     add 6c7bd80  Merge branch 'profiling'
     add 33ac575  Cleanup: warn of signed/unsigned mismatches in libhal.
     new af127e8  Implement hash-based signatures, per draft-mcgrew-hash-sigs-08.txt
     new 0f55f31  Reconstruct the hashsig hash tree(s) on device restart.
     new def1710  Rebase hashsig from master

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                                           |  26 ++
 libraries/libprof/Makefile                         |  20 ++
 libraries/libprof/README.md                        |  65 +++++
 libraries/libprof/gmon.c                           | 324 +++++++++++++++++++++
 libraries/libprof/gmon.h                           | 177 +++++++++++
 libraries/libprof/profil.c                         |  96 ++++++
 libraries/libprof/profil.h                         |  60 ++++
 libraries/libprof/profiler.S                       |  28 ++
 libraries/libtfm/Makefile                          |   5 +
 .../TARGET_CRYPTECH_ALPHA/stm32f4xx_it.c           |   7 +
 memfunc.c                                          | 101 +++++++
 projects/hsm/Makefile                              |  20 +-
 projects/hsm/hsm.c                                 |  10 +
 projects/hsm/mgmt-misc.c                           |  38 +++
 projects/hsm/mgmt-task.c                           |  44 +++
 syscalls.c                                         |   6 +
 task.c                                             |  62 ++++
 task.h                                             |  12 +
 18 files changed, 1097 insertions(+), 4 deletions(-)
 create mode 100644 libraries/libprof/Makefile
 create mode 100644 libraries/libprof/README.md
 create mode 100644 libraries/libprof/gmon.c
 create mode 100644 libraries/libprof/gmon.h
 create mode 100644 libraries/libprof/profil.c
 create mode 100644 libraries/libprof/profil.h
 create mode 100644 libraries/libprof/profiler.S
 create mode 100644 memfunc.c