search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
51 stars 64 forks source link

Add utilities for setting and dumping log buffer #25

Open xurtis opened 3 years ago

xurtis commented 3 years ago

This adds simple helpers to allocate and map a log buffer as well as dumping the contents of the logbuffer as a CBOR element to a base64 stream.

Depends on the changes for debug log buffer in seL4/seL4#298

axel-h commented 3 years ago

I will take over this then also