search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

tool: fix off-by-one error #132

Closed nspin closed 2 weeks ago

nspin commented 3 weeks ago

Also fixes the relevant conditional expression.

Ivan-Velickovic commented 3 weeks ago

Thanks, could you leave it as the for loop though?

nspin commented 2 weeks ago

https://github.com/seL4/microkit/pull/133 fixed some cases, but not all. Consider:

let mut x = DisjointMemoryRegion::new();
x.insert_region(1, 2);
x.insert_region(0, 1);
Ivan-Velickovic commented 2 weeks ago

Cool, thanks again for the fix.