aboutsummaryrefslogtreecommitdiff
path: root/libraries/libprof/profile-runner.py
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2018-04-19 16:30:22 -0400
committerPaul Selkirk <paul@psgd.org>2018-04-19 16:30:22 -0400
commit46fbe98ffe13484b2fc5e8cfe1e67a84f6be84da (patch)
tree47f3dea06110954512467234897c990a404e0706 /libraries/libprof/profile-runner.py
parent1ceb5752a309397799e9ef4a99ff1b327fc42a8d (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/libprof/profile-runner.py')
0 files changed, 0 insertions, 0 deletions