High-assurance security requires kernels clear or overwrite all shared state. That could become a covert, storage channel if one partition can write it and anot

High-assurance security requires kernels clear or overwrite all shared state. That could become a covert, storage channel if one partition can write it and another read it. If so, it should be overwritten.