laarcnew | comments | discord | tags | ask | show | place | submitlogin
A Little Filesystem that Keeps Your Bits on Lock (hackaday.com)
3 points by rain1 to embedded microcontroller osdev programming 387 days ago | 1 comment





Bookmarked. Especially due to the section talking about the comment quality, specs with rationales, and so on. This would be a nice project to attempt formal verification or high-assurance security on given careful, detailed descriptions of design and code are a prerequisite to achieving those goals. Author might have already done most of the important work. :)

reply




Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: