Interesting, I wonder why it chose that?
Given my actual hardware does not support video anyways (it only has a
serial port) I suppose it is irrelevant. However a useful tidbit in case
I switch platforms to one that has video.
Thanks for the help Alex! I'm off to start writing a little app
I attempted your fix to change the driver, with no change in results.
Again, I think has to do with that the hardware only has a serial port
(no video output). Being a limit of the hardware I am not too worried,
its something I expected I would run into and have to work around either
way. Also
On 16.09.19 20:40, Alexander Boettcher wrote:
> As said, if Qemu manages to switch on the graphic mode you are fine.
sorry, Qemu -> Grub2
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
On 16.09.19 20:25, Adam T. Wiethuechter wrote:
> Interestingly adding your other changes (to switch to the fb_boot_drv)
> causes QEMU to at least get to outputting "Booting Genode on seL4" only
> to stop there. This is the output of that particular run if interested.
>
> ```
> spawn
Alex,
I applied the changes you suggested here and got the demo to boot in
QEMU just as you had. It's super slow and laggy thanks to my machine but
it does seem to work.
Interestingly adding your other changes (to switch to the fb_boot_drv)
causes QEMU to at least get to outputting "Booting
Hey Alex,
just a small note below.
On Sat, Sep 14, 2019 at 11:48:39 CEST, Alexander Boettcher wrote:
> On 13.09.19 23:31, Adam T. Winchester wrote:
> > [init -> drivers -> fb_drv] Error: H/W driver init failed
> > [init -> drivers -> fb_drv] Error: __cxa_guard_abort called
> > Kernel: Thread
On 13.09.19 23:31, Adam T. Winchester wrote:
> Just got the ISO image (found in build/x86_64/var/run/demo.iso, just dd
> onto SD card) to start up and display via Minicom.
Good.
> not implemented - resources leaked: 0x20
> [init -> drivers -> acpi_drv] Found MCFG
> [init -> drivers -> acpi_drv]
On 13.09.19 22:53, Adam T. Wiethuechter wrote:
> [init -> drivers -> platform_drv] PS2 uses IRQ, vector 0x1
> [init -> drivers -> platform_drv] PS2 uses IRQ, vector 0xc
> [init -> drivers -> fb_drv] Found PCI VGA at 00:01.0
> [init -> drivers -> fb_drv] fb mapped to 0x6000
> Warning: void
Just got the ISO image (found in build/x86_64/var/run/demo.iso, just dd
onto SD card) to start up and display via Minicom.
```
Booting `Genode on seL4'
Bender: Hello World.
Boot config: parsing cmdline 'sel4 disable_iommu'
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Alex,
Thanks for the quick response. Your suggestion got me to prepare a few
more things and then finally something built successfully and instantly
booted into QEMU (which was black screen).
```
cd genode-19.08
./tool/ports/prepare_port dde_linux libc x86emu
./tool/depot/create
Hello,
On 13.09.19 19:59, Adam T. Wiethuechter wrote:
> It's been a long while since I have messed with Genode and a lot (of
> really good things) have happened since. I can't wait to get more into
> the system again (and finally play with Sculpt).
welcome back.
> Note that I updated
Hi everyone,
It's been a long while since I have messed with Genode and a lot (of
really good things) have happened since. I can't wait to get more into
the system again (and finally play with Sculpt).
To start I'm trying to building the demo for x86 systems (I am targeting
a APU2D4 system
12 matches
Mail list logo
