Hello Pontus,
My platform config looks as follows:
from looking at this config snippet, I guess that the 'info="yes"'
attribute [1] is missing from the eth0_drv poli
Hi Colin,
your posting made my day!
> Inspired by the recent changes to the Genode driver system, I took
> another crack a porting the Linux ath9k usb wifi driver.
Thank you very much for the nice feedback about Sculpt 22.10 and for
sharing your work about the USB-Wifi driver. It is great to s
Hello Stefan,
I think I'm already doing as you recommend with respect to the devices ROM.
I have the following import in my runscript in case the target is evk:
if { [have_board imx8q_evk] } {
import_from_depot\
[depot_user]/src/fec_nic_drv \
[d
Hello Pontus,
On Tue, Dec 20, 2022 at 08:29:28PM +0100, Pontus Åström wrote:
> Now everything compiles successfully but I get a runtime setup error
> where the driver complains about an unavailable IO resource:
>
> [init -> eth0_drv] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0
> [init -> eth0_
