search

seL4 / seL4_libs

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

libsel4platsupport: check num_pages after alloc success #84

Closed anchao closed 7 months ago

anchao commented 9 months ago

libsel4platsupport: check num_pages after alloc success

To avoid null pointer reference