Re: scupt-tc real hardware: 0/3
I now have found the genode/contrib/nova... directory, and was able to pinpoint the problem to: void init (mword mbi) { // Setup 0-page and 1-page memset (reinterpret_cast(_0), 0, PAGE_SIZE); memset (reinterpret_cast(_1), ~0u, PAGE_SIZE); for (void (**func)() = _G; func != _E; (*func++)()) ; ---^ that line while(1) before hang the computer, while(1) after have the computer reboot. I have a feeling few years ago I had found that this was like the 3th or 4th index... But I have like kind no clue how to find the associated code (constructor code). ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
Alex wrote: I would suggest to instrument NOVA and see up to which point it gets. Well, because I had no VGA output at all, I thought that bender was not working. I removed it from GRUB config, and start with the kernel. This does not help. I also try the different parameters to Nova, but without change. (The most obvious one was removing IOMMU). The bring-up of the other CPUs/Hyperthread seem to be missing in your log output. ([ 0] CORE:0:0:0 6:f:b:0 ). You are misled, this is not mine outout. I don't have serial output (I 'stupidly' throw away my serial null cable). I followed your suggestion to update BIOS. BIOS gone from 2006 version to late 2011 one. Now dmidecode does way much more nice information! (was having just about 5 short hexadecimal tables before). But that did not help. I am not too sure how to keep a version of the Nova kernel to work on. I searched for the source, but it does not seems to be kept in after the prepare... which leave the the compiled .o and compiled hypervisor in the bin? directory of the build directory. That said, I got a look at the code on https://github.com/udosteinberg/NOVA/tree/master/src And it looks way too familiar. In fact, I think I had isolated similar if not exact same symptom when I work on that few years? ago. When I look in init.cpp code: extern "C" INIT REGPARM (1) void init (mword mbi) { // Setup 0-page and 1-page memset (reinterpret_cast(_0), 0, PAGE_SIZE); memset (reinterpret_cast(_1), ~0u, PAGE_SIZE); for (void (**func)() = _G; func != _E; (*func++)()) ; Hip::build (mbi); for (void (**func)() = _C; func != _G; (*func++)()) ; // Now we're ready to talk to the world Console::print ("\fNOVA Microhypervisor v%d-%07lx (%s): %s %s [%s]\n", CFG_VER, reinterpret_cast(_VER), ARCH, __DATE__, __TIME__, COMPILER_STRING); I can like remember that I was blocking in these constructors code calling functions loops (more the second one from memory). I believe I was back then using the same technique I was to use here: adding while (1) line to see when it hangs and when it reboots. I can see they are coming from hypervisor.ld file: .init_array : AT (ADDR (.init_array) - OFFSET) { PROVIDE (CTORS_L = .); KEEP (SORT_BY_INIT_PRIORITY(*)(.init_array.65534 .ctors.1)) PROVIDE (CTORS_C = .); KEEP (SORT_BY_INIT_PRIORITY(*)(.init_array.65533 .ctors.2)) PROVIDE (CTORS_G = .); KEEP (SORT_BY_INIT_PRIORITY(*)(.init_array.* .ctors.*)) KEEP (*(.init_array .ctors)) PROVIDE (CTORS_E = .); } : kern but that's looking like black magic to me. I suspect this is a way to do what a C++ runtime would do to call static class constructors... but this is mostly a guess from the .ctors name. Anyway, back then I believe the code was not taken from git hub at prepare time, then erased after prepare. And now, I am unsure if I must write patches in the patch directory or what. I really wish I would have the Nova source kept, and that make would recompile Nova on demand but I have pretty much no clue how to achieve that. ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
On 07/09/2018 05:44 AM, Alexander Boettcher wrote: Hello, On 06.07.2018 05:51, John J. Karcher wrote: FWIW, I was pleasantly surprised to find that my AMD FX-based system mostly worked - the SATA hard drive wasn't detected, but the on-board (Realtek) NIC worked, as did an external USB hard drive. I haven't tried virtualization yet (because I can't wipe the external drive), but I will try it when I can. as written on the Sculpt TC release website, a _recent_ Intel-based PC is the main target. So, AMD machines may work to some degree, but it is not expected to work well. Regarding SATA/AHCI and AMD, in Sculpt TC the driver manager only considers Intel AHCI chips [0], so your SATA disks can't work since no driver is started at all. It would be great, if AMD users out there test/debug our AHCI driver with some simpler scenario and open up feature issues on github, so that it be added for the next releases. I'm afraid I've communicated poorly here. I was just playing around with it, and was surprised it worked as well as it did on an unsupported system. If/when adding AMD support becomes a priority, I'll be happy to help with testing, etc. Until then, I'm happy with what we already have. Actually, I'm planning on getting a refurbished ThinkPad soon, so I should be able to join the supported hardware club! With some luck, I will try to use Genode as my "daily driver", since I already run everything in VirtualBox VMs. ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
Anyway, I fixed it the wild way: ~/genode/repos/libports/src/drivers/framebuffer/vesa/main.cc protected: Session_component *_create_session(char const *args) override { // unsigned scr_width = _session_arg("width", args, "fb_width", 0); // unsigned scr_height = _session_arg("height", args, "fb_height", 0); unsigned scr_width = 1280; unsigned scr_height = 1024; unsigned const scr_depth = _session_arg("depth", args, "fb_mode", 16); And now run/framebuffer run on my real computer with my real monitor... not the probably infinitely width and height monitor in QEMU! :) ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
I am confused because the VGA framebuffer says that it's default configuration is 1024x768. But when ran in QEMU I see: (for run/framebuffer) [init -> fb_drv] Found PCI VGA at 00:01.0 [init -> fb_drv] fb mapped to 0x6000 [init -> fb_drv] Found: VESA BIOS version 3.0 [init -> fb_drv] OEM: SeaBIOS VBE(C) 2011 [init -> fb_drv] Found: physical frame buffer at 0xfd00 size: 16777216 [init -> fb_drv] fb mapped to 0xb00 [init -> fb_drv] using video mode: 2560x1600@16 [init -> test-framebuffer] framebuffer is 2560x1600@RGB565 I know this is vesa driver speaking... but from where 2560x1600 is coming from? ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
I think I finally come to a real Genode problem (rather than a platform one): On X86_64, I ran: make KERNEL=foc run/framebuffer and running on my Dell Optiplex 745, with integrated i965 I got: Error: acpi table out of range - 0xfff69ab8 not in [ , 3fff ) See how it finished with ) rather than the expected ] More seriously, who put a limit on where my acpi table can be? Guess, I will be expected to fill bugs soon rather than clutter the mailing list. ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
I think I tried all platforms for x86... and the last one is the one that works on my Optiplex 745 is: Fiasco.OC (foc). I ran: make KERNEL=foc run/bomb on X86_32 Now, hopefully I will be able to come back to 64 bits, and especially, try something less frightening than bomb! :) ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
On 07/06/2018 02:30 AM, Nobody III wrote: What AMD FX hardware did you get to work? Mine seems to have ACPI/interrupt issues. Because of this, only output hardware works. I can use fb_drv, but not usb_drv, ahci_drv, or nic_drv. It's an Asus Sabertooth 990FX motherboard with AMD FX 8120 CPU and 16GB of RAM. The video card is a Gigabyte HD7750 (Radeon-based), but that's probably irrelevant, as I assume it's running in VESA mode. Like I said, I haven't tried virtualization yet, but it booted from the USB stick, saw the external USB drive, connected using wired networking, and installed packages from the internet. It didn't like my ThinkPad keyboard with built-in TrackPoint, but neither do the BIOS setup screens. ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
On 07/06/2018 03:44 PM, Paul Dufresne wrote: I have built the run/demo on Nova, burn the demo.iso on a CD, and tried it on my Dell Optiplex 745. Does reboot in loop too. I am considering making a program that just loop to stop the reboot loop. :) Hi Paul, I've ran the boot loop on my Optiplex 380 and got this output. Hope it helps you diagnose your problem. # cu -s 115200 -l /dev/ttyS0 Connected. Bender: Hello World. framebuffer at [b8000+b8fa0) 80x25@16 warning - unknown framebuffer type framebuffer at [b8000+b8fa0) 80x25@16 warning - unknown framebuffer type NOVA Microhypervisor v7-9b24eb4 (x86_64): Jun 12 2018 22:09:48 [gcc 6.3.0] [MBI2] cu: Got hangup signal Disconnected. Cheers, Guido. ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
I have built the run/demo on Nova, burn the demo.iso on a CD, and tried it on my Dell Optiplex 745. Does reboot in loop too. I am considering making a program that just loop to stop the reboot loop. :)___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Re: scupt-tc real hardware: 0/3
What AMD FX hardware did you get to work? Mine seems to have ACPI/interrupt issues. Because of this, only output hardware works. I can use fb_drv, but not usb_drv, ahci_drv, or nic_drv. On Thu, Jul 5, 2018 at 10:25 PM, Paul Dufresne wrote: > > 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. > > It is an integrated Intel 82Q963/Q965. > I have tried with a radeon 7200 (R100 PCI card)... my monitor complains on > resolution (Linux too), and reboot like before. > I have tried with a GT 400 card, it seems to reboot faster (like puting > the computer like in sleep before rebooting). > So it's probably linked to the computer itself rather than to the graphic > card. > > > > > ___ > Genode users mailing list > users@lists.genode.org > https://lists.genode.org/listinfo/users > ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
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