search

seL4 / seL4_libs

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

use seL4_BootInfoFrameSize #73

Closed axel-h closed 10 months ago

axel-h commented 1 year ago

Drop hard-coding the 4 KiB assumption.

Test with: seL4/seL4#999