Re: cannot run make/demo

2015-07-02 Thread w_schmidt
Hi, may I add: the last time I needed the following programms below after a blank ubuntu 12.04 installation (program name, website, install command). Christian, as a wish: an all-in one- ubuntu development iso for genode? Like the Fabscan Live DVD ( https://hci.rwth-aachen.de/fabscan_software )

Re: "Core" thread doesn't become active in kernel initialization

2015-07-02 Thread Bob Stewart
Thank you for the suggestions, Martin. Stack corruption does not appear to be the issue: (a)Your PINF in [1] yields a run-time error -- "SP format string argument>p". (Not sure why that would be.) (b) Replacing %p with 0x%x and applying the appropriate cast, results in PINF showing "SP 0x810893f

Re: "Core" thread doesn't become active in kernel initialization

2015-07-02 Thread Bob Stewart
Thank you for the suggestions, Stefan. I applied your patches. The __cxa_guard_release appears to be working fine as I get the three debug lines output. The lock() method you included in the second patch is never called so an exception is not being thrown. I'll move on to Martin's suggestions a

Re: base-hw: Virtualbox thread priorities

2015-07-02 Thread Martin Stein
Hi Adrian, On 02.07.2015 12:02, Adrian-Ken Rueegsegger wrote: > Hi, > > While investigating the cause for the performance discrepancy of > Virtualbox on NOVA vs hw_x86_64[_muen] [1], I have determined, with help > from Alexander, that Virtualbox thread priorities [2] are not applied on > base-hw.

Re: cannot run make/demo

2015-07-02 Thread Christian Helmuth
Hello Daren, again a look at the log reveals the problem On Thu, Jul 02, 2015 at 04:58:14PM +0800, Daren Sin wrote: > spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial mon:stdio > > -cdrom var/run/demo.iso > couldn't execute "qemu-system-x86_64": no such file or directory The run to

Re: cannot run make/demo

2015-07-02 Thread Alexander Boettcher
Hi Daren, see my comment below. On 02.07.2015 10:58, Daren Sin wrote: > Hi Christian, > > Thanks for the response! > > The error message indicated "Please install xmllimit", which I did before > you replied, and that portion of the error message is gone! > > But now, I get another error messag

base-hw: Virtualbox thread priorities

2015-07-02 Thread Adrian-Ken Rueegsegger
Hi, While investigating the cause for the performance discrepancy of Virtualbox on NOVA vs hw_x86_64[_muen] [1], I have determined, with help from Alexander, that Virtualbox thread priorities [2] are not applied on base-hw. Even though priorities are specified when constructing the Cpu_connection

Re: cannot run make/demo

2015-07-02 Thread Norman Feske
Hello, On 02.07.2015 10:47, Christian Helmuth wrote: > ./tool/port/prepare_port x86emu > make -C drivers/framebuffer/vesa I just want to add that you will also need to enable the libports repository (where the VESA driver resides) in your /etc/build.conf file. Cheers Norman -- Dr.-Ing. No

Re: "Core" thread doesn't become active in kernel initialization

2015-07-02 Thread Martin Stein
Hi Bob, On 01.07.2015 21:42, Bob Stewart wrote: > Once the Core_thread singleton is > created the last printf output that appears is one I inserted after the > call to to _become_active() in the constructor. A printf inserted into > the singleton method after the Core_thread creation never show

Re: cannot run make/demo

2015-07-02 Thread Daren Sin
Hi Christian, Thanks for the response! The error message indicated "Please install xmllimit", which I did before you replied, and that portion of the error message is gone! But now, I get another error message: make[1]: Leaving directory `/home/mylinux/genode-15.05/tool/build.nova' genode build

Re: cannot run make/demo

2015-07-02 Thread Christian Helmuth
Hello Daren, welcome to the list. Please find my comments below embedded in your message. On Thu, Jul 02, 2015 at 02:33:55PM +0800, Daren Sin wrote: > I tried the steps listed in the Genode website, and I'm trying to run > Genode on the NOVA microkernel. > > Previously, I've had trouble running

Re: "Core" thread doesn't become active in kernel initialization

2015-07-02 Thread Stefan Kalkowski
Hi Bob, On 07/01/2015 09:42 PM, Bob Stewart wrote: > Hi, > > I'm bringing up Genode (15.05) on an TI AM437x SoC and it is > failing kernel initialization. The initialization appears go ok until > the call to init_kernel_mp_primary(). Once the Core_thread singleton is > created the last pr