Merge PR#66: VM bootstraping improvements
authornicoo <nicoo@realraum.at>
Fri, 2 Aug 2019 23:06:32 +0000 (01:06 +0200)
committernicoo <nicoo@realraum.at>
Fri, 2 Aug 2019 23:06:32 +0000 (01:06 +0200)

Trivial merge