seL4 / seL4_libs

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

sel4muslcsys: Allocate aligned addr in static mmap #64

Closed kent-mcleod closed 2 years ago

kent-mcleod commented 2 years ago

It's invalid to return regions that are not page aligned. We round lengths up to the nearest page size. munmap and mremmap are not supported with static mmap and so we don't need to track this rounding difference anywhere.

Signed-off-by: Kent McLeod kent@kry10.com