BSDライセンス
HelenOSのソースコードはCで書かれ、BSDライセンスで公開されている。