Virtualizing Windows 10 on NOVA

2019-06-11 Thread Alexander Boettcher
Hello, On 09.06.19 03:52, Joel Desermeau via users wrote: > I'm thinking about purchasing a new thinkpad for my father as a gift and > virtualizing Windows 10 on Genode/NOVA (he's a Windows sysadmin). > > I've been studying the run scripts in the ports repo for vbox5 and Windows, > but I'm gett

Re: Genode on RPI - end of discovery stage

2019-06-11 Thread Stefan Kalkowski
Hello Tomasz, On Mon, Jun 10, 2019 at 12:54:46AM +0200, Tomasz Gajewski wrote: > > Tomasz Gajewski writes: > > > There are some minor things that probably should be fixed, though. I > > see at least: > > > > - license header update > > - some minor formatting issues: indentation and some old

Re: Empty inline files in vfs

2019-06-11 Thread Christian Helmuth
Hello Stefan, On Wed, May 29, 2019 at 11:18:41 CEST, Stefan Thöni wrote: > I've noticed that reading an empty inline file crashes the vfs but only > when this file is created by an but not when it's > created by an . This can be demonstrated > easily be noux's /bin/cat but seems to be true also w