vvaltchev opened this issue 8 years ago · 1 comments
Currently, exOS does not do any checking on the vaddrs that user applications pass to it through syscalls. This clearly a problem since, an invalid vaddr can make the whole kernel to crash.
Fixed in the latest merge.