Thanks much, that patch works as intended--build works for the rpi.
But I am still having some problems on this hardware. Possibly I'm
not using the correct board rev.? I tried building the run/demo
and testing (dhcp boot image.elf) on these rpi models:
- RPi - 2011.12
- RPi2 - Model B v1.1
-
Hi Jörg,
as a small addition to Normans' answer, we also wrote a porting guide:
http://genode.org/documentation/developer-resources/porting
Sebastian
--
Sebastian Sumpf
Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz
Alexander,
As a second part to thatm I took the DHCP part completely out of the
equation and set a static IP on both VMs and I was unable to ping between
the two VMs thereby taking the outside network completely out of the
picture. In this case, the ping should have gone from one VM to the NIC
Hi Chris,
If you intercept the NIC connections between your bridge and the vbox's with
the NIC dump
component, you can compare the packets for your two usecases.
A good example of how to use the nic_dump can be found in
libports/run/nic_dump.run.
There it intercepts the NIC connection between
Hello,
On 24.09.2017 19:16, Chris Rothrock wrote:
> I have been able to make a working environment with Genode/NOVA/VirtualBox
> a single VM running TinyCore with networking enabled and can communicate
> across the network. So far, only on VirtualBox 4, 5 still has issues that
> I am still
Hi,
I was trying to understand the sdio interfacing. Then I looked into the
sdcard driver written for imx6. I was able to successfully built and run it
on the platform.
When I looked deeper into the code I see the sd host controller interface
is written part of sd card driver. I was confused