e1000 nic driver problem

Discussion:

john stokes

2016-06-30 13:58:59 UTC

i am trying to run l4linux on my x86 hardware but after commenting these
lines l4linux
boots fine.
append_if $use_nic_driver config {
<start name="nic_drv">
<resource name="RAM" quantum="3M"/>
<provides><service name="Nic"/></provides>
</start> }

but i want the ethernet support my has no e1000 support it supports r8169
realtek
driver i changed the e1000 from the l4linux.run to r8169 but it is showing
errors . i have gone through many source codes related to nic_drv but i
can't find where to change it can you please tell me how to add support for
r8169 and the error is:

Kernel: arch/l4/boot/Image is ready
Building modules, stage 2.
MODPOST 97 modules
Program server/report_rom/report_rom
Program core/spec/x86_32/core
COMPILE version.o
LINK core
make[1]: `drivers/nic' is up to date.
make[1]: `drivers/acpi' is up to date.
make[1]: Leaving directory `/home/rishabh/genode-16.05/build/foc_x86_32'
genode build completed
Download initramfs ...
using fiasco kernel
/home/rishabh/genode-16.05/build/foc_x86_32/kernel/fiasco.oc/fiasco
using sigma0/bootstrap at /home/rishabh/genode-16.05/build/foc_x86_32/l4
install bootloader
creating ISO image...
Warning: -follow-links does not always work correctly; be careful.
Size of boot image is 4 sectors -> No emulation
79.64% done, estimate finish Thu Jun 30 19:27:48 2016
Total translation table size: 2048
Total rockridge attributes bytes: 3075
Total directory bytes: 10240
Path table size(bytes): 78
Max brk space used 22000
6283 extents written (12 MB)
spawn qemu-system-i386 -no-kvm -m 160 -nographic -serial mon:stdio -smp
2,cores=2 -net nic,model=r8169 -net user -cdrom var/run/l4linux.iso
qemu-system-i386: Unsupported NIC model: r8169
Aborting, received EOF
Log step failed, retry.
spawn qemu-system-i386 -no-kvm -m 160 -nographic -serial mon:stdio -smp
2,cores=2 -net nic,model=r8169 -net user -cdrom var/run/l4linux.iso -cdrom
var/run/l4linux.iso
qemu-system-i386: -cdrom var/run/l4linux.iso: drive with bus=1, unit=0
(index=2) exists
Aborting, received EOF
Log step failed, retry.
spawn qemu-system-i386 -no-kvm -m 160 -nographic -serial mon:stdio -smp
2,cores=2 -net nic,model=r8169 -net user -cdrom var/run/l4linux.iso -cdrom
var/run/l4linux.iso -cdrom var/run/l4linux.iso
qemu-system-i386: -cdrom var/run/l4linux.iso: drive with bus=1, unit=0
(index=2) exists
Aborting, received EOF
Log step failed, retry.
Boot process failed 3 times in series. I give up!
make: *** [run/l4linux] Error 255

Sebastian Sumpf

2016-06-30 19:59:41 UTC

Permalink

Hi John,

Post by john stokes
qemu-system-i386: Unsupported NIC model: r8169

Qemu does not have r8169 support but only rtl8139.

Regards,

Sebastian

--
Sebastian Sumpf
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

john stokes

2016-07-01 03:58:14 UTC

Permalink

it's fine but can you tell me how can i boot l4linux without e1000 or
rtl8139 support?

On Fri, Jul 1, 2016 at 1:29 AM, Sebastian Sumpf <

Post by Sebastian Sumpf
Hi John,

Post by john stokes
qemu-system-i386: Unsupported NIC model: r8169

Qemu does not have r8169 support but only rtl8139.
Regards,
Sebastian
--
Sebastian Sumpf
Genode Labs
http://www.genode-labs.com Â· http://genode.org
Genode Labs GmbH Â· Amtsgericht Dresden Â· HRB 28424 Â· Sitz Dresden
GeschÃ€ftsfÃŒhrer: Dr.-Ing. Norman Feske, Christian Helmuth
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

Sebastian Sumpf

2016-07-01 05:52:23 UTC

Permalink

Hi John,

Post by john stokes
it's fine but can you tell me how can i boot l4linux without e1000 or
rtl8139 support?

It is sufficient to not start any nic_drv (dde_ipxe) in your Genode
configuration (as you stated). L4Linux does not have access to any
*real* hardware on Genode, it is a virtual machine. Network access is
provided by a Linux driver that uses Genodes nic session. Please have a
look at:

<genode-dir>/repos/ports-foc/src/lib/l4lx/genode_net.cc
<genode-dir>/repos/ports-foc/src/drivers/genode_net.c

If the driver does not find a nic service it silently does nothing. As
stated above, the nic service is provided by dde_ipxe for x86 on Genode.

Do you see any errors on real hardware? If so, please send the log
output of that, not the one from Qemu. dde_ipxe does have support for
rtl8169 and should be able to detect your card automatically. Otherwise
Qemu should work fine with an e1000 setting, for it is just a device
model there that uses the Linux infrastructure.

Regards,

Sebasitan

Post by john stokes
On Fri, Jul 1, 2016 at 1:29 AM, Sebastian Sumpf
Hi John,

Post by john stokes
qemu-system-i386: Unsupported NIC model: r8169

Qemu does not have r8169 support but only rtl8139.
Regards,
Sebastian
--
Sebastian Sumpf
Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

john stokes

2016-07-01 06:25:11 UTC

Permalink

on running it real x86 hardware first two penguins are shown then some
lines like
[ 0.1234] ...............
[ 0.2567]........................
.................................................
....................................................
.........................................,..........
[ 2.98745] genode blk-driver is loaded
then booting hangs up there without showing any error message
but after removing nic_drv support it shows two more lines below blk-driver
loaded
mount everything
setup networking
and then autologin terminal of l4linux appears

On Fri, Jul 1, 2016 at 11:22 AM, Sebastian Sumpf <

Post by Sebastian Sumpf
Hi John,

Post by john stokes
it's fine but can you tell me how can i boot l4linux without e1000 or
rtl8139 support?

It is sufficient to not start any nic_drv (dde_ipxe) in your Genode
configuration (as you stated). L4Linux does not have access to any
*real* hardware on Genode, it is a virtual machine. Network access is
provided by a Linux driver that uses Genodes nic session. Please have a
<genode-dir>/repos/ports-foc/src/lib/l4lx/genode_net.cc
<genode-dir>/repos/ports-foc/src/drivers/genode_net.c
If the driver does not find a nic service it silently does nothing. As
stated above, the nic service is provided by dde_ipxe for x86 on Genode.
Do you see any errors on real hardware? If so, please send the log
output of that, not the one from Qemu. dde_ipxe does have support for
rtl8169 and should be able to detect your card automatically. Otherwise
Qemu should work fine with an e1000 setting, for it is just a device
model there that uses the Linux infrastructure.
Regards,
Sebasitan

Post by john stokes
On Fri, Jul 1, 2016 at 1:29 AM, Sebastian Sumpf
Hi John,

Post by john stokes
qemu-system-i386: Unsupported NIC model: r8169

------------------------------------------------------------------------------

Post by john stokes
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in

San

Post by john stokes
Francisco, CA to explore cutting-edge tech and listen to tech

luminaries

Post by john stokes
present their vision of the future. This family event has something

for

Post by john stokes
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

------------------------------------------------------------------------------

Post by john stokes
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

Sebastian Sumpf

2016-07-01 06:46:35 UTC

Permalink

Hi again,

Post by john stokes
on running it real x86 hardware first two penguins are shown then some
lines like
[ 0.1234] ...............
[ 0.2567]........................
.................................................
....................................................
.........................................,..........
[ 2.98745] genode blk-driver is loaded
then booting hangs up there without showing any error message
but after removing nic_drv support it shows two more lines below
blk-driver loaded
mount everything
setup networking
and then autologin terminal of l4linux appears

This, most likely, implies that dde_ipxe did not come up for the rtl8169
card. The thing is, we cannot test this card over here, since we don't
own one. Is there a way you could provide the serial (UART) log output?
Console only is unfortunately not sufficient here. So, for now I would
leave 'nic_drv' commented.

Sebastian

Post by john stokes
On Fri, Jul 1, 2016 at 11:22 AM, Sebastian Sumpf
Hi John,

Post by john stokes
it's fine but can you tell me how can i boot l4linux without e1000 or
rtl8139 support?

It is sufficient to not start any nic_drv (dde_ipxe) in your Genode
configuration (as you stated). L4Linux does not have access to any
*real* hardware on Genode, it is a virtual machine. Network access is
provided by a Linux driver that uses Genodes nic session. Please have a
<genode-dir>/repos/ports-foc/src/lib/l4lx/genode_net.cc
<genode-dir>/repos/ports-foc/src/drivers/genode_net.c
If the driver does not find a nic service it silently does nothing. As
stated above, the nic service is provided by dde_ipxe for x86 on Genode.
Do you see any errors on real hardware? If so, please send the log
output of that, not the one from Qemu. dde_ipxe does have support for
rtl8169 and should be able to detect your card automatically. Otherwise
Qemu should work fine with an e1000 setting, for it is just a device
model there that uses the Linux infrastructure.
Regards,
Sebasitan

Post by john stokes
On Fri, Jul 1, 2016 at 1:29 AM, Sebastian Sumpf
Hi John,

Post by john stokes
qemu-system-i386: Unsupported NIC model: r8169

------------------------------------------------------------------------------

Post by john stokes
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park

in San

Post by john stokes
Francisco, CA to explore cutting-edge tech and listen to tech

luminaries

Post by john stokes
present their vision of the future. This family event has

something for

------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

john stokes

2016-07-01 06:49:37 UTC

Permalink

thanks for helping

On Fri, Jul 1, 2016 at 12:16 PM, Sebastian Sumpf <

Post by Sebastian Sumpf
Hi again,

Post by john stokes
On Fri, Jul 1, 2016 at 11:22 AM, Sebastian Sumpf
Hi John,

Post by john stokes
it's fine but can you tell me how can i boot l4linux without e1000

Post by john stokes

Post by john stokes
rtl8139 support?

have a

Post by john stokes
<genode-dir>/repos/ports-foc/src/lib/l4lx/genode_net.cc
<genode-dir>/repos/ports-foc/src/drivers/genode_net.c
If the driver does not find a nic service it silently does nothing.

Post by john stokes
stated above, the nic service is provided by dde_ipxe for x86 on

Genode.

Post by john stokes
Do you see any errors on real hardware? If so, please send the log
output of that, not the one from Qemu. dde_ipxe does have support for
rtl8169 and should be able to detect your card automatically.

Otherwise

Post by john stokes
Qemu should work fine with an e1000 setting, for it is just a device
model there that uses the Linux infrastructure.
Regards,
Sebasitan

Post by john stokes
On Fri, Jul 1, 2016 at 1:29 AM, Sebastian Sumpf
Hi John,

Post by john stokes
qemu-system-i386: Unsupported NIC model: r8169

Dresden

Post by john stokes

Post by john stokes
GeschÃ€ftsfÃŒhrer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------

Post by john stokes

Post by john stokes
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T

Park in San

Post by john stokes

Post by john stokes
Francisco, CA to explore cutting-edge tech and listen to tech

luminaries

Post by john stokes

Post by john stokes
present their vision of the future. This family event has

something for

Post by john stokes

Post by john stokes
everyone, including kids. Get more information and register

today.

Post by john stokes

Post by john stokes
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

------------------------------------------------------------------------------

Post by john stokes

Post by john stokes
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park

in San

Post by john stokes
Francisco, CA to explore cutting-edge tech and listen to tech

luminaries

Post by john stokes
present their vision of the future. This family event has

something for

------------------------------------------------------------------------------

Post by john stokes
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in

San

Post by john stokes
Francisco, CA to explore cutting-edge tech and listen to tech

luminaries

Post by john stokes
present their vision of the future. This family event has something

for

------------------------------------------------------------------------------

Christian Helmuth

2016-07-01 06:51:38 UTC

Permalink

Hello,

Post by Sebastian Sumpf

In addition to Sebastian's advice I suggest using a more simple test
case for debugging dde_ipxe (like run/lwip or run/netperf_lwip) and
posting the log here.

Regards

--
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

john stokes

2016-07-01 11:50:57 UTC

Permalink

this is the log of the run/lwip . please help me i not getting what to do
for bringing nic support in l4linux on my hardware
i think the four lines of pci may be causing problem .kinldy help me
Genode 16.05
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 110 MB to init
int main(): --- init created, waiting for exit condition ---
[init] parent provides
[init] service "ROM"
[init] service "RAM"
[init] service "IRQ"
[init] service "IO_MEM"
[init] service "IO_PORT"
[init] service "PD"
[init] service "RM"
[init] service "CPU"
[init] service "LOG"
[init] child "timer"
[init] RAM quota: 913408
[init] ELF binary: timer
[init] priority: 0
[init] provides service Timer
[init] child "test-lwip_httpsrv"
[init] RAM quota: 5107712
[init] ELF binary: test-lwip_httpsrv
[init] priority: 0
Quota exceeded! amount=65536, size=4096, consumed=65536
[init] child "acpi_drv"
[init] RAM quota: 1961984
[init] ELF binary: acpi_drv
[init] priority: 0
Quota exceeded! amount=81920, size=4096, consumed=81920
[init] child "acpi_report_rom"
[init] RAM quota: 1961984
[init] ELF binary: report_rom
[init] priority: 0
[init] provides service ROM
[init] provides service Report
Quota exceeded! amount=98304, size=4096, consumed=98304
[init] child "platform_drv"
[init] RAM quota: 4059136
[init] ELF binary: platform_drv
[init] priority: 0
[init] provides service Platform
Quota exceeded! amount=114688, size=4096, consumed=114688
[init] child "nic_drv"
[init] RAM quota: 4059136
[init] ELF binary: nic_drv
[init] priority: 0
[init] provides service Nic
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init -> nic_drv] --- iPXE NIC driver started ---
[init -> nic_drv] --- init iPXE NIC
[init] child "timer" announces service "Timer"
[init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t)
[with T = unsigned int; Genode::uint32_t = unsigned int]: Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: d
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d
[init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: d
[init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: d
[init] child "platform_drv" announces service "Platform"
[init -> nic_drv] Found: 00:03.0 8086:100e (rev 03) IRQ 0b
[init -> nic_drv] using driver 82540em
[init -> nic_drv] PCI BIOS has not enabled device 00:03.0! Updating PCI
command 0103->0107
[init -> nic_drv] PCI device 00:03.0 latency timer is unreasonably low at
0. Setting to 32.
[init -> nic_drv] bus_addr = febc0000 len = 20000
[init -> nic_drv] snprintf not implemented
[init -> platform_drv] Could not open ROM session for module "device_pd"
[init -> platform_drv] PCI device protection domain for IOMMU support is
not available
[init -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH
[init -> platform_drv] 0:3.0 uses IRQ, vector 0xb, non-maskable
[init -> nic_drv] number of devices: 1
[init] child "nic_drv" announces service "Nic"
[init -> nic_drv] --- init callbacks
[init -> nic_drv] --- get MAC address 52:54:00:12:34:56
[init -> test-lwip_httpsrv] Create new socket ...
[init -> test-lwip_httpsrv] Now, I will bind ...
[init -> test-lwip_httpsrv] Now, I will listen ...
[init -> test-lwip_httpsrv] Start the server loop ...
[init -> test-lwip_httpsrv] got IP address 10.0.2.15
http server is up, try to query website http://localhost:5555/
response:
Welcome to our lwIP HTTP server!

This is a small test page.

Run script execution successful.

On Fri, Jul 1, 2016 at 12:21 PM, Christian Helmuth <

Post by Christian Helmuth
Hello,

Post by Sebastian Sumpf

In addition to Sebastian's advice I suggest using a more simple test
case for debugging dde_ipxe (like run/lwip or run/netperf_lwip) and
posting the log here.
Regards
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ Â· http://genode.org/
https://twitter.com/GenodeLabs Â· /ËdÊiË.nÉÊd/
Genode Labs GmbH Â· Amtsgericht Dresden Â· HRB 28424 Â· Sitz Dresden
GeschÃ€ftsfÃŒhrer: Dr.-Ing. Norman Feske, Christian Helmuth
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

Christian Helmuth

2016-07-01 12:08:56 UTC

Permalink

Hello John,

Post by john stokes
[init -> nic_drv] Found: 00:03.0 8086:100e (rev 03) IRQ 0b
[init -> nic_drv] using driver 82540em
[init -> nic_drv] PCI BIOS has not enabled device 00:03.0! Updating PCI
command 0103->0107
[init -> nic_drv] PCI device 00:03.0 latency timer is unreasonably low at
0. Setting to 32.
[init -> nic_drv] bus_addr = febc0000 len = 20000
[init -> nic_drv] snprintf not implemented
[init -> nic_drv] --- init callbacks
[init -> nic_drv] --- get MAC address 52:54:00:12:34:56

john stokes

2016-07-01 12:29:57 UTC

Permalink

no the above result is from the ubuntu terminal but when i boot it
seperatly from hard drive
then boot hangsup but after disabling nic support it boots fine.but my pc
uses only rtl8169 so why boot hangs up?

On Fri, Jul 1, 2016 at 5:38 PM, Christian Helmuth <

Post by Christian Helmuth
Hello John,

The nic_drv based on iPXE picks up a 82540em card which is Intel
e1000. Did you run the scenario on your target hardware? You mentioned
you don't have e1000 but rtl8169 in a previous posting. Or may your PC
have multiple network cards?
Greets
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ Â· http://genode.org/
https://twitter.com/GenodeLabs Â· /ËdÊiË.nÉÊd/
Genode Labs GmbH Â· Amtsgericht Dresden Â· HRB 28424 Â· Sitz Dresden
GeschÃ€ftsfÃŒhrer: Dr.-Ing. Norman Feske, Christian Helmuth
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

john stokes

2016-07-01 13:57:08 UTC

Permalink

please provide me solution to this problem here is the image although it is
from my virtual box but same thing happen
on my hardware when i uncommnet nic related lines from l4linux.run the boot
hangs up on the last line shown in the image.

Post by john stokes
no the above result is from the ubuntu terminal but when i boot it
seperatly from hard drive
then boot hangsup but after disabling nic support it boots fine.but my pc
uses only rtl8169 so why boot hangs up?
On Fri, Jul 1, 2016 at 5:38 PM, Christian Helmuth <

Post by Christian Helmuth
Hello John,

Post by john stokes
0. Setting to 32.
[init -> nic_drv] bus_addr = febc0000 len = 20000
[init -> nic_drv] snprintf not implemented
[init -> nic_drv] --- init callbacks
[init -> nic_drv] --- get MAC address 52:54:00:12:34:56

Christian Helmuth

2016-07-01 18:26:48 UTC

Permalink

John,

Post by john stokes
please provide me solution to this problem here is the image although it is
from my virtual box but same thing happen
on my hardware when i uncommnet nic related lines from l4linux.run the boot
hangs up on the last line shown in the image.

john stokes

2016-07-01 18:44:49 UTC

Permalink

can you please see the image which i have posted previously, in th image it
is seen that it hangs up there
(without showing any error messege).the above log of run/lwip is of the
target machine and i am considering it as nic_drv problem because after
commenting these lines it boots
<start name="nic_drv">
<resource name="RAM" quantum="3M"/>
<provides><service name="Nic"/></provides>
</start> }

On Fri, Jul 1, 2016 at 11:56 PM, Christian Helmuth <

Post by Christian Helmuth
John,

Post by john stokes
please provide me solution to this problem here is the image although it

Post by john stokes
from my virtual box but same thing happen
on my hardware when i uncommnet nic related lines from l4linux.run the

boot

Post by john stokes
hangs up on the last line shown in the image.

As long as you don't provide more information about the error
regarding nic_drv on real hardware, I belief nobody is able to help
you. Please send the log when running run/lwip on your target machine.
If you don't have a serial connection to the machine, try to type out
what's logged to the VGA console or try to connect a serial cable.
Greets
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ Â· http://genode.org/
https://twitter.com/GenodeLabs Â· /ËdÊiË.nÉÊd/
Genode Labs GmbH Â· Amtsgericht Dresden Â· HRB 28424 Â· Sitz Dresden
GeschÃ€ftsfÃŒhrer: Dr.-Ing. Norman Feske, Christian Helmuth
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

john stokes

2016-07-01 18:47:33 UTC

Permalink

sorry the remaining message is
after commenting these lines it boots
<start name="nic_drv">
<resource name="RAM" quantum="3M"/>
<provides><service name="Nic"/></provides>
</start> }

i do'nt have serial cable and a image is being attached
thanks for helping me upto this point.

Post by john stokes
can you please see the image which i have posted previously, in th image
it is seen that it hangs up there
(without showing any error messege).the above log of run/lwip is of the
target machine and i am considering it as nic_drv problem because after
commenting these lines it boots
<start name="nic_drv">
<resource name="RAM" quantum="3M"/>
<provides><service name="Nic"/></provides>
</start> }
On Fri, Jul 1, 2016 at 11:56 PM, Christian Helmuth <

Post by Christian Helmuth
John,

Post by john stokes
please provide me solution to this problem here is the image although

it is

Post by john stokes
from my virtual box but same thing happen
on my hardware when i uncommnet nic related lines from l4linux.run the

boot

Post by john stokes
hangs up on the last line shown in the image.