One of the operating system options was PC DOS, priced at US$40.
オペレーティングシステム・オプションの1つはPC DOSで、40ドルの値段がつけられた。