If I enable log I get these last lines (but I don't think they are related to de ethernet driver): start_threads@main.c:1887 Starting threads... start_threads@main.c:1890 Starting echo_echo_0_control_tcb... start_threads@main.c:1890 Starting echo_echo_0_fault_handler_tcb... start_threads@main.c:1890 Starting ethdriver_ethdriver_0_control_tcb... start_threads@main.c:1890 Starting ethdriver_ethdriver_0_fault_handler_tcb... start_threads@main.c:1890 Starting ethdriver_ethdriver_client_0000_tcb... start_threads@main.c:1890 Starting ethdriver_ethdriver_irq_0000_tcb... start_threads@main.c:1890 Starting listener_listener_0_control_tcb... start_threads@main.c:1890 Starting listener_listener_0_fault_handler_tcb... start_threads@main.c:1890 Starting picoserver_picoserver_0_control_tcb... start_threads@main.c:1890 Starting picoserver_picoserver_0_fault_handler_tcb... start_threads@main.c:1890 Starting time_server_time_server_0_control_tcb... start_threads@main.c:1890 Starting time_server_time_server_0_fault_handler_tcb... start_threads@main.c:1890 Starting time_server_time_server_irq_0000_tcb... start_threads@main.c:1890 Starting time_server_time_server_the_timer_0000_tcb... init_system@main.c:2097 6629 of 131072 CSlots used (5.06%) main@main.c:2127 CapDL Loader done, suspending... Protocol ethernet registered (layer: 2). Protocol ipv4 registered (layer: 3). Protocol ipv6 registered (layer: 3). Protocol icmp4 registered (layer: 4). Protocol icmp6 registered (layer: 4). Protocol igmp registered (layer: 4). Protocol udp registered (layer: 4). Protocol tcp registered (layer: 4). listener instance starting up, going to be listening on :4321 sel4platsupport_get_num_pmem_regions@pmem.c:17 Could not find info echo instance starting up, going to be listening on :1234 acpi_sig_search@walker.c:87 Failed to map physical page 0xe0000 acpi_init@acpi.c:380 Failed to find rsdp