search

seL4 / sel4runtime

A minimal runtime for seL4 applications.
Other
12 stars 28 forks source link

Clarify sel4runtime documentation #5

Open wom-bat opened 4 years ago

wom-bat commented 4 years ago

Update the README files to make it clear what this library is for and the things it does. Update comments to match what the code does.

Signed-off-by: Peter Chubb peter.chubb@data61.csiro.au

xurtis commented 4 years ago

Would it be worth adding ASCII art to describe the layout of the TLS region, the extra set of pointers, and where the TLS base register points?

xurtis commented 4 years ago

Would you like to schedule a meeting at some point to discuss this PR @wom-bat?