Input validation

Insufficient check of the process type in Trusted OS TOS may allow an attacker with privileges to enable a lesser privileged process to unmap memory owned by a higher privileged process resulting in a denial of service...