(ptx): New OS; use for Sequent.