Re: Reg: muen building errors

2017-05-17 Thread Adrian-Ken Rueegsegger
Hi, See my comments inline. On 05/17/2017 11:34 AM, S.SIVAREDDY wrote: > Hi christian.helmuth, > > I was building the muen for windows7 os as per this > link(https://genode.org/documentation/release-notes/16.08#Experimental_version_of_VirtualBox_5_for_NOVA). > > But while running the

Re: AMT SOL on Lenovo X250

2017-03-15 Thread Adrian-Ken Rueegsegger
Hello Martijn, On 03/14/2017 04:31 PM, Martijn Verschoor wrote: > Dear subscribers of the Genode mailinglist, > > After some help by Christian Prochaska I managed to setup AMT SOL on Lenovo > X250. I thought I’d share my experience because there are some pitfalls of > which I was unaware. > >

Muen License (was: Muen Separation Kernel Might not be the Only option)

2016-05-17 Thread Adrian-Ken Rueegsegger
Hi Martin, On 05/16/2016 01:30 PM, Martin Vahi wrote: > I just found it, but it seems that unlike > Muen, it is under GPL version 2, not version 3, > which means that it can be used for aggregate > works that do not link to it without putting > the rest of the parts under GPL. Just like > the

Re: Genode on Muen issues

2015-10-07 Thread Adrian-Ken Rueegsegger
Hi Lonnie, Since the download issue was resolved on the muen-dev mailing list [1], I will answer the remaining question of running Genode/Virtualbox on Muen. On 10/06/2015 08:12 PM, Lonnie Cumberland wrote: > I want to play around with muen a bit, but would wonder if it might, > eventually be

Re: base-hw: Virtualbox thread priorities

2015-07-13 Thread Adrian-Ken Rueegsegger
Hello Martin, On 07/10/2015 03:44 PM, Martin Stein wrote: Hey Adrian, On 10.07.2015 14:37, Adrian-Ken Rueegsegger wrote: Sorry for the inaccurate wording which I tried to clarify in the follow-up email. It works for me on QEMU but the cpu_quota run script does not complete if I run

Re: base-hw: Virtualbox thread priorities

2015-07-13 Thread Adrian-Ken Rueegsegger
Hello Martin, On 07/13/2015 12:47 PM, Martin Stein wrote: When looking at your raw counter values, I assume that this is caused by overflows. Some of your hardware values are near (uint32_t)~0 while your Qemu values are all relatively small. I've addressed this issue recently in [1]. Commit

Re: base-hw: Virtualbox thread priorities

2015-07-10 Thread Adrian-Ken Rueegsegger
Hello Martin, On 07/10/2015 01:02 PM, Martin Stein wrote: Hi Adrian, On 08.07.2015 18:07, Adrian-Ken Rueegsegger wrote: I just gave the current staging branch (4b7b440...) a try and while the cpu_quota scenario completes successfully on QEMU, it seems to be stuck after the test_[fast|midl

Re: base-hw: Virtualbox thread priorities

2015-07-09 Thread Adrian-Ken Rueegsegger
Hello Martin, On 07/07/2015 03:26 PM, Martin Stein wrote: * For comparison with NOVA, it might be a good idea to assign 100% of the CPU quota, because then, priorities are absolute also on base-hw. Later, you may switch the best-effort parts of the scenario back to a non-quota mode and see if

Re: base-hw: Virtualbox thread priorities

2015-07-08 Thread Adrian-Ken Rueegsegger
Hello Martin, On 07/07/2015 05:27 PM, Martin Stein wrote: Hi Adrian, [...] I've pushed a commit [1] that solves the problems with the cpu_quota test on X86. I just gave the current staging branch (4b7b440...) a try and while the cpu_quota scenario completes successfully on QEMU, it seems to

Re: base-hw: Virtualbox thread priorities

2015-07-08 Thread Adrian-Ken Rueegsegger
On 07/08/2015 06:07 PM, Adrian-Ken Rueegsegger wrote: I just gave the current staging branch (4b7b440...) a try and while the cpu_quota scenario completes successfully on QEMU, it seems to be stuck after the test_[fast|midl|slow] results are logged. It appears that the Conclusion part

Re: base-hw: Virtualbox thread priorities

2015-07-06 Thread Adrian-Ken Rueegsegger
Hello Martin, Thank you for your insightful comments. On 07/02/2015 04:48 PM, Martin Stein wrote: Hi Adrian, [...] * Configure the vbox component to receive some quota from init (add resource name=CPU quantum=${PERCENTAGE}/ as subnode to the vbox start node) * Set the reference account

base-hw: Cpu_lazy_state and alignment constraints

2015-03-09 Thread Adrian-Ken Rueegsegger
Hello, While implementing lazy FPU loading/storing for the x86 base-hw port I came across an issue with regards to data structure alignment. The implementation is similar to the one of base-hw cortex A9 and uses the Cpu_lazy_state class to store the FPU state, see [1]. To use the fx[save|rstor]