search

seL4 / seL4_projects_libs

Other
19 stars 36 forks source link

Make convenience function publicly available #106

Closed hlyytine closed 1 year ago

hlyytine commented 1 year ago

Also align with naming and argument order style used in libfdt.

Test with: seL4/camkes-vm#103

axel-h commented 1 year ago

I think we should close this and use https://github.com/seL4/camkes-vm/pull/107 instead.