Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-04 22:39:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
4,431 Commits 32 Branches 42 Tags
498fd84a55d2b3578666c4f0d8bbfabdfc4f59d8
Commit Graph

3 Commits

Author SHA1 Message Date
Gerwin Klein
07a8263a9d bitfield_gen: add CLI to manual 
* describe CLI
* describe pruning
* mention where in seL4 generated code and source are

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2023-05-03 09:05:23 +10:00
Gerwin Klein
4b18acaed9 tools: TOC for bitfield generator manual 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2023-04-27 13:24:37 +10:00
Gerwin Klein
13f0f035cf tools: add manual for bitfield_gen.py 
Add a user manual for the bitfield generator that documents syntax,
semantics and basic concepts. Should also be able to serve as main
spec for what the tool is supposed to do.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2023-04-27 13:24:37 +10:00