gdkchan 15d1cc806b Move kernel state out of the Horizon class (#1107) %!s(int64=6) %!d(string=hai) anos
..
IBtmUserCore.cs 15d1cc806b Move kernel state out of the Horizon class (#1107) %!s(int64=6) %!d(string=hai) anos