Good Ancestor has reviewed design proposals from several projects and individuals to build new experimental models of practical high security operating systems fit to operate in the AI era, as well as trusted hardware (see for example BAOChip), and formal verification of software.
In particular operating systems with the security
