Re: scupt-tc real hardware: 0/3
On 07/05/2018 07:57 PM, Paul Dufresne wrote: Oh well, I am like a returning Genode user, for almost ... one and an half year I guess. I am glad to see that there is now an image (a USB one... I would guess it would not work on a DVD?). I have downloaded it yesterday, and tried it on 3 computers (2 almost the same: Dell Optiplex 745, not sure the other is a 745 too). One of the two is my own computer, and I have try many BIOS config, but it does always do the same: show the Logo, screen become black for about 7 secs... then it reboots and loop. Hi Paul, Welcome back ;-) I noticed the same boot loop on a Dell Optiplex 380. This one is so old it has a serial and parallel port. The serial port showed me some boot lines and if I remember correctly it was something about missing video card before the reboot. If someone wants, I can capture that serial log and hardware specs. I'm not sure if the GMA 4500 video chip is supported by Genode, if you have an old VESA video card lying around, you might have some more luck on the Dell. I ran Sculpt on a 6 year old Sandy Bridge Pentium (G620) with built-in video chip, that runs great, after some trouble with network and usb. Genode likes my Intel gbit Nic better than the RTL 8111/8169. I got some spurios hangs on the latter. It also booted on my AMD Ryzen 5 system but it did not detect SATA drives. Nor did virtualisation work. Both Vbox and Seoul hang. Better than I expected but not usable yet. Hope this encourages you to keep going on with Genode :-) Cheers, Guido. ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: foc without kernel debugger
Hi Matthias & Stefan, thanks for your help. Am 05.07.2018 um 12:46 schrieb Stefan Kalkowski: > Hello Johannes & Matthias, > > On Thu, Jul 05, 2018 at 09:52:16AM +0200, Matthias Lange wrote: >> Hi Johannes, >> >> On [04-07-2018 15:06], Johannes Kliemann wrote: >>> Hi all, >>> >>> I tried to use Fiasco.OC without the kernel debugger, respectively with >>> the following config changes: >>> diff --git a/repos/base-foc/config/x86_64.kernel b/repos/base-foc/config/x86_64.kernel index 07159da20d..8b8b1c8c50 100644 --- a/repos/base-foc/config/x86_64.kernel +++ b/repos/base-foc/config/x86_64.kernel @@ -56,12 +56,7 @@ CONFIG_STACK_DEPTH=y # CONFIG_IRQ_SPINNER is not set # CONFIG_WATCHDOG is not set CONFIG_SERIAL=y -CONFIG_JDB=y -CONFIG_JDB_LOGGING=y -CONFIG_JDB_DISASM=y -CONFIG_JDB_GZIP=y -# CONFIG_JDB_ACCOUNTING is not set -CONFIG_JDB_MISC=y +# CONFIG_JDB is not set CONFIG_POWERSAVE_GETCHAR=y # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y >>> >>> It compiles without any errors but the execution fails with multiple >>> messages of: >>> KERNEL: Warning: nothing mapped: (Obj_space) from [0x81fd1e90/]: 000a size: 0001 to [0x81fd1d80/] >> >> This message indicates that somebody is trying to map a capability without >> sufficient rights or the mapped capability is the invalid cap. >> >> Maybe a component has a hard dependency on the 'jdb' capability? > > Indeed, core maps that capability to each component, but it is not > critical. The capability is only used for testing purposes. Normally > it is not used. Thereby the warning can be ignored. If I uncomment the > mapping the warning vanishes. Moreover, core sets names to ease > debugging for all threads in the kernel debugger. I've prepared an > interims commit for you to use Genode/Fiasco.OC without kernel > debugger: > > > https://github.com/skalk/genode/commit/e38ebf4a2de0029f46afdc5b6b6f3c480388fcf2 > > Anyway, you won't see any messages on serial line from Genode, because > it uses the kernel debugger's outstring method. So it still runs but doesn't produce any log output. That explains why I thought it didn't work at all (I tried run/log). That solves the issue for me, thanks. Regards, Johannes ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Testing sculpt on different hypervisor
Hello Andreas, welcome to Genode's mailing list! On 04.07.2018 20:04, Johannes Kliemann wrote: > Does it work with Sculpt? I don't know but I can't tell why it should > make any difference to any other scenario. For this Norman can give a > better answer. I routinely test-drive sculpt in Qemu running in my Linux VM on top of Sculpt using the gems/run/sculpt_test.run script. So Sculpt should in principle come up in KVM on a native Linux system. For reference, in my test scenario the Qemu command line looks as follows: qemu-system-x86_64 \ -no-kvm \ -display sdl \ -cpu core2duo \ -m 768 -net nic,model=e1000 -net user \ -serial mon:stdio \ -device ahci,id=ahci \ -drive id=hdd,file=bin/sculpt-ahci.raw,format=raw,if=none \ -device ide-hd,drive=hdd,bus=ahci.1 \ -drive format=raw,file=var/run/sculpt.img \ -machine q35 > Does it work in form of being usable? I don't think so but ymmv. I agree. In Qemu without KVM, it is bearable for testing but not for using. Regarding nested virtualization in Qemu/KVM, you'd need to enable at least the AMD Phenom CPU model (-cpu phenom) in Qemu. Our automated tests of the Seoul VMM (as used in Sculpt's 'seoul-vmm-browser package') work that way. But I have not used this configuration interactively. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: foc without kernel debugger
Hello Johannes & Matthias, On Thu, Jul 05, 2018 at 09:52:16AM +0200, Matthias Lange wrote: > Hi Johannes, > > On [04-07-2018 15:06], Johannes Kliemann wrote: > > Hi all, > > > > I tried to use Fiasco.OC without the kernel debugger, respectively with > > the following config changes: > > > > > diff --git a/repos/base-foc/config/x86_64.kernel > > > b/repos/base-foc/config/x86_64.kernel > > > index 07159da20d..8b8b1c8c50 100644 > > > --- a/repos/base-foc/config/x86_64.kernel > > > +++ b/repos/base-foc/config/x86_64.kernel > > > @@ -56,12 +56,7 @@ CONFIG_STACK_DEPTH=y > > > # CONFIG_IRQ_SPINNER is not set > > > # CONFIG_WATCHDOG is not set > > > CONFIG_SERIAL=y > > > -CONFIG_JDB=y > > > -CONFIG_JDB_LOGGING=y > > > -CONFIG_JDB_DISASM=y > > > -CONFIG_JDB_GZIP=y > > > -# CONFIG_JDB_ACCOUNTING is not set > > > -CONFIG_JDB_MISC=y > > > +# CONFIG_JDB is not set > > > CONFIG_POWERSAVE_GETCHAR=y > > > # CONFIG_WARN_NONE is not set > > > CONFIG_WARN_WARNING=y > > > > It compiles without any errors but the execution fails with multiple > > messages of: > > > > > KERNEL: Warning: nothing mapped: (Obj_space) from > > > [0x81fd1e90/]: 000a size: > > > 0001 to [0x81fd1d80/] > > This message indicates that somebody is trying to map a capability without > sufficient rights or the mapped capability is the invalid cap. > > Maybe a component has a hard dependency on the 'jdb' capability? Indeed, core maps that capability to each component, but it is not critical. The capability is only used for testing purposes. Normally it is not used. Thereby the warning can be ignored. If I uncomment the mapping the warning vanishes. Moreover, core sets names to ease debugging for all threads in the kernel debugger. I've prepared an interims commit for you to use Genode/Fiasco.OC without kernel debugger: https://github.com/skalk/genode/commit/e38ebf4a2de0029f46afdc5b6b6f3c480388fcf2 Anyway, you won't see any messages on serial line from Genode, because it uses the kernel debugger's outstring method. Best regards Stefan > > Best, > Matthias. > > > > > Are there any further requirements to use foc without the kernel debugger? > > > > Regards, > > Johannes > > > > ___ > > Genode users mailing list > > users@lists.genode.org > > https://lists.genode.org/listinfo/users > > -- > Matthias Lange, matthias.la...@kernkonzept.com, +49-351-41 888 614 > > Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. > Geschäftsführer: Dr.-Ing. Michael Hohmuth > > > ___ > Genode users mailing list > users@lists.genode.org > https://lists.genode.org/listinfo/users -- Stefan Kalkowski Genode labs https://github.com.skalk | https://genode.org ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Fullscreen VM in sculpt
Hi Pirmin, On 03.07.2018 08:15, Pirmin Duss wrote: > I would like to use my virtual machine in fullscreen mode on my sculpt. If > I'm interpreting the configuration of the > floating_window_layouter correctly, the key combination [SCREEN]+[ENTER] will > toggle the fullscreen mode of a window. > > Further there is a normally disabled configuration in /config/input_fliter > that remaps the key [LEFTMETA] to [SCREEN]. > However when I enable the remapping and start the wm and the virtual machine, > pressing [LEFTMETA] and [ENTER] as > described in the sequence of the layouter.config nothing happens. > > Do I need to change something else? by default, Sculpt is configured such that all key combinations involving the 'SCREEN' key to the window layouter. In config/input_filter, 'LEFTMETA' (windows key) is mapped to 'SCREEN' by default. In contrast to your observation, it is not disabled. Do you happen to use a stale input_filter configuration? Does [LEFTMETA]+[TAB] works for cycling through multiple windows? If yes, then the input filter and window layouter are configured correctly. This should be the case by default. The VM's response to maximize events (as triggered by [LEFTMETA]+[ENTER] or by the maximize button at the top-left window corner) is a bit of a hit-or-miss, unfortunately. The screen-size change is handled the VBox guest additions. So it does only work when those are installed and running. Even if so, it sometimes takes quite a long time for the screen change to take effect. The delay needs further investigation. But apart from this, it should work in principle. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: foc without kernel debugger
Hi Johannes, On [04-07-2018 15:06], Johannes Kliemann wrote: > Hi all, > > I tried to use Fiasco.OC without the kernel debugger, respectively with > the following config changes: > > > diff --git a/repos/base-foc/config/x86_64.kernel > > b/repos/base-foc/config/x86_64.kernel > > index 07159da20d..8b8b1c8c50 100644 > > --- a/repos/base-foc/config/x86_64.kernel > > +++ b/repos/base-foc/config/x86_64.kernel > > @@ -56,12 +56,7 @@ CONFIG_STACK_DEPTH=y > > # CONFIG_IRQ_SPINNER is not set > > # CONFIG_WATCHDOG is not set > > CONFIG_SERIAL=y > > -CONFIG_JDB=y > > -CONFIG_JDB_LOGGING=y > > -CONFIG_JDB_DISASM=y > > -CONFIG_JDB_GZIP=y > > -# CONFIG_JDB_ACCOUNTING is not set > > -CONFIG_JDB_MISC=y > > +# CONFIG_JDB is not set > > CONFIG_POWERSAVE_GETCHAR=y > > # CONFIG_WARN_NONE is not set > > CONFIG_WARN_WARNING=y > > It compiles without any errors but the execution fails with multiple > messages of: > > > KERNEL: Warning: nothing mapped: (Obj_space) from > > [0x81fd1e90/]: 000a size: > > 0001 to [0x81fd1d80/] This message indicates that somebody is trying to map a capability without sufficient rights or the mapped capability is the invalid cap. Maybe a component has a hard dependency on the 'jdb' capability? Best, Matthias. > > Are there any further requirements to use foc without the kernel debugger? > > Regards, > Johannes > > ___ > Genode users mailing list > users@lists.genode.org > https://lists.genode.org/listinfo/users -- Matthias Lange, matthias.la...@kernkonzept.com, +49-351-41 888 614 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users