BSDライセンス
HelenOSのソースコードは、BSDライセンスで公開されている。いくつかのサードパーティーのコンポーネントは