laarctags | new | comments | ask | show | place | submitlogin
A Little Filesystem that Keeps Your Bits on Lock (
3 points by rain1 to embedded microcontroller osdev programming on Jan 25, 2019 | 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. :)


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

RSS (stories) | RSS (comments)