Why shouldn't we also demand standard low level primitives so that every OS can do the thing you're describing?