tree bc62dd4ae30cc4bde3942145d8c2dc223d6459fa
parent 7f9305501c6b10a257a9cadc3db7cab5427e6145
author Johnathan Van Why <jrvanwhy@google.com> 1617054069 -0700
committer Johnathan Van Why <jrvanwhy@google.com> 1617054069 -0700

Update the status of the Platform Design Story document.

The rewritten `libtock-rs` no longer exists only in my head, it is working. I am implementing more tests to make sure the core abstractions (such as RawSyscalls) are all sound, and then I will break it into smaller pieces for review. I will write more docs and tests as I send each piece for review.