diff options
author | Paul Selkirk <paul@psgd.org> | 2018-04-19 16:30:22 -0400 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2018-04-19 18:50:32 -0400 |
commit | 0f55f31aaa35357b87e7ff817e2683ba1a277193 (patch) | |
tree | 6cf51d2ac832bea1809b7e479b497949a2279ae9 /libraries/mbed/rtos/Makefile | |
parent | af127e807008b2153d597e756ff26da69daf9e45 (diff) |
Reconstruct the hashsig hash tree(s) on device restart.
This can take long enough (several minutes for h=10) that we do it in a
background task, which is then converted to an RPC dispatch task.
Also add a very limited form of free(), to free the topmost allocation in
the sdram "heap". I don't want to deal with real heap management, but I do
want to be able to recover memory upon deleting a hashsig key, if it's
easy to do so.
Diffstat (limited to 'libraries/mbed/rtos/Makefile')
0 files changed, 0 insertions, 0 deletions