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;
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
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
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,
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:
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
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! :)
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
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
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
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
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
12 matches
Mail list logo