search

f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
679 stars 145 forks source link

root_thread: fix incorrect update of free_mem #114

Closed georgekang closed 9 years ago

georgekang commented 9 years ago

free_mem should be updated only if base of fpage is not assigned.