A lot of them provide normal-ish C programming environment. Files, network sockets, etc. the virtual memory space isolation is a huge feature that's hard to certify, so Green Hills is leading the field there.