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(&PAGE_0), 0, PAGE_SIZE);
memset (reinterpret_cast(&PAGE_1), ~0u, PAGE_SIZE);
for (void (**func)() = &CTORS
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 witho
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 dri
Hello,
On 06.07.2018 05:51, John J. Karcher wrote:
>> It also booted on my AMD Ryzen 5 system but it did not detect SATA
>> drives.
>
> 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 work
Hello,
On 06.07.2018 16:41, Guido Witmond wrote:
> 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 r
Hello Paul,
On 07.07.2018 12:50, Paul Dufresne wrote:
> I am confused because the VGA framebuffer says that it's default
> configuration is 1024x768.
...
> I know this is vesa driver speaking... but from where 2560x1600 is
> coming from?
nowadays the VESA driver tries to set up the highest possib
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_
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: SeaBIO
Ok, removing the sanity check help me go further:
In /genode/repos/os/src/drivers/acpi/memory.h:
using namespace Genode;
/* the first caller sets the upper physical
bits of add$
// static addr_t const high = phys &
_align_ma
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 h
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! :)
_
Well, trying many things...
like removing IOMMU in nova command line... did not help. was rebooting anyway.
I now switched from 64 build to 32 bits build, trying pistachio, and run/log. I
got some text result that way:
Kickstart ...
Multiboot compliant loader detected ...
Loading kernel...
(
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
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 Optiple
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
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
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), an
On 07/05/2018 03:32 PM, Guido Witmond wrote:
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 dow
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 comput
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 su
20 matches
Mail list logo
