genodelabs / genode

Genode OS Framework
https://genode.org/
Other
1.03k stars 249 forks source link

fix nic_router_uplinks fails #5192

Open m-stein opened 3 weeks ago

m-stein commented 3 weeks ago

The nic_router_uplinks test currently fails on x86_64/x86_64/pc/hw|nova|sel4.

m-stein commented 3 weeks ago

@cnuke I failed to fix it on sel4 because the wifi driver doesn't come up. Do you have a clue what to do about this?

[init -> wifi_drv] NR_IRQS: 4352, nr_irqs: 4352, preallocated irqs: 256
[init -> wifi_drv] time-clocksource: dde_counter: mask: 0xffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 3526361616960 ns
[init -> wifi_drv] time-clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
[init -> wifi_drv] NET: Registered PF_NETLINK/PF_ROUTE protocol family
[init -> wifi_drv] time-clocksource: Switched to clocksource dde_counter
[init -> wifi_drv] Intel(R) Wireless WiFi driver for Linux
[init -> wifi_drv] iwlwifi 02:00.0: pci_enable_msi failed - -38
[init -> wifi_drv] task_work_add: task: 0000000037b9efe4 work: 0000000000b84fe6 notify: 0
[init -> wifi_drv] NET: Registered PF_PACKET protocol family
[init -> wifi_drv] sched_clock: Marking stable (54300000, 752117000)->(854355000, -47938000)
[init -> wifi_drv] wireless-reg: Loading compiled-in X.509 certificates for regulatory database
[init -> wifi_drv] wireless-reg: loaded regulatory.db is malformed or signature is missing/invalid
[init -> wifi_drv] iwlwifi 02:00.0: api flags index 2 larger than supported by driver
[init -> wifi_drv] iwlwifi 02:00.0: TLV_FW_FSEQ_VERSION: FSEQ Version: 0.0.2.36
[init -> wifi_drv] iwlwifi 02:00.0: loaded firmware version 68.01d30b0c.0 ty-a0-gf-a0-68.ucode op_mode iwlmvm
[init -> wifi_drv] iwlwifi 02:00.0: Detected Intel(R) Wi-Fi 6 AX210 160MHz, REV=0x420
Warning: invalid signal-context capability
Warning: flush page table entries - mapping cache full - PD: init -> wifi_drv
[init -> wifi_drv] iwlwifi 02:00.0: loaded PNVM version dda57f4f
[init -> wifi_drv] iwlwifi 02:00.0: Detected RF GF, rfid=0x10d000
[init -> wifi_drv] iwlwifi 02:00.0: base HW address: 3c:e9:f7:de:a5:17
Warning: flush page table entries - mapping cache full - PD: init -> wifi_drv
Warning: void Core::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x100
[init -> wifi_drv] iwlwifi 02:00.0: firmware didn't ACK the reset - continue anyway
[init -> wifi_drv] iwlwifi 02:00.0: Start IWL Error Log Dump:
[init -> wifi_drv] iwlwifi 02:00.0: Transport status: 0x0000004A, valid: 6
[init -> wifi_drv] iwlwifi 02:00.0: Loaded firmware version: 68.01d30b0c.0 ty-a0-gf-a0-68.ucode
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000084 | NMI_INTERRUPT_UNKNOWN       
[init -> wifi_drv] iwlwifi 02:00.0: 0x00A082F0 | trm_hw_status0
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | trm_hw_status1
[init -> wifi_drv] iwlwifi 02:00.0: 0x004DAF86 | branchlink2
[init -> wifi_drv] iwlwifi 02:00.0: 0x004D13D6 | interruptlink1
[init -> wifi_drv] iwlwifi 02:00.0: 0x004D13D6 | interruptlink2
[init -> wifi_drv] iwlwifi 02:00.0: 0x0001699A | data1
[init -> wifi_drv] iwlwifi 02:00.0: 0x01000000 | data2
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | data3
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | beacon time
[init -> wifi_drv] iwlwifi 02:00.0: 0x00034382 | tsf low
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | tsf hi
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | time gp1
[init -> wifi_drv] iwlwifi 02:00.0: 0x0004848E | time gp2
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000001 | uCode revision type
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000044 | uCode version major
[init -> wifi_drv] iwlwifi 02:00.0: 0x01D30B0C | uCode version minor
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000420 | hw version
[init -> wifi_drv] iwlwifi 02:00.0: 0x00C89002 | board version
[init -> wifi_drv] iwlwifi 02:00.0: 0x8061FF00 | hcmd
[init -> wifi_drv] iwlwifi 02:00.0: 0x20020000 | isr0
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | isr1
[init -> wifi_drv] iwlwifi 02:00.0: 0x48F00002 | isr2
[init -> wifi_drv] iwlwifi 02:00.0: 0x00C0001C | isr3
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | isr4
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | last cmd Id
[init -> wifi_drv] iwlwifi 02:00.0: 0x0001699A | wait_event
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | l2p_control
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | l2p_duration
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | l2p_mhvalid
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | l2p_addr_match
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000009 | lmpm_pmg_sel
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | timestamp
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000028 | flow_handler
[init -> wifi_drv] iwlwifi 02:00.0: Start IWL Error Log Dump:
[init -> wifi_drv] iwlwifi 02:00.0: Transport status: 0x0000004A, valid: 7
[init -> wifi_drv] iwlwifi 02:00.0: 0x20000074 | ADVANCED_SYSASSERT
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | umac branchlink1
[init -> wifi_drv] iwlwifi 02:00.0: 0x8045E21C | umac branchlink2
[init -> wifi_drv] iwlwifi 02:00.0: 0x804804AE | umac interruptlink1
[init -> wifi_drv] iwlwifi 02:00.0: 0x804804AE | umac interruptlink2
[init -> wifi_drv] iwlwifi 02:00.0: 0x01000000 | umac data1
[init -> wifi_drv] iwlwifi 02:00.0: 0x804804AE | umac data2
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000000 | umac data3
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000044 | umac major
[init -> wifi_drv] iwlwifi 02:00.0: 0x01D30B0C | umac minor
[init -> wifi_drv] iwlwifi 02:00.0: 0x000485FF | frame pointer
[init -> wifi_drv] iwlwifi 02:00.0: 0xC088625C | stack pointer
[init -> wifi_drv] iwlwifi 02:00.0: 0x00040F07 | last host cmd
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000400 | isr status reg
[init -> wifi_drv] iwlwifi 02:00.0: IML/ROM dump:
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000B03 | IML/ROM error/state
[init -> wifi_drv] iwlwifi 02:00.0: 0x00008018 | IML/ROM data1
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000080 | IML/ROM WFPM_AUTH_KEY_0
[init -> wifi_drv] iwlwifi 02:00.0: Fseq Registers:
[init -> wifi_drv] iwlwifi 02:00.0: 0x60000000 | FSEQ_ERROR_CODE
[init -> wifi_drv] iwlwifi 02:00.0: 0x80440005 | FSEQ_TOP_INIT_VERSION
[init -> wifi_drv] iwlwifi 02:00.0: 0x00080009 | FSEQ_CNVIO_INIT_VERSION
[init -> wifi_drv] iwlwifi 02:00.0: 0x0000A652 | FSEQ_OTP_VERSION
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000002 | FSEQ_TOP_CONTENT_VERSION
[init -> wifi_drv] iwlwifi 02:00.0: 0x4552414E | FSEQ_ALIVE_TOKEN
[init -> wifi_drv] iwlwifi 02:00.0: 0x00400410 | FSEQ_CNVI_ID
[init -> wifi_drv] iwlwifi 02:00.0: 0x00400410 | FSEQ_CNVR_ID
[init -> wifi_drv] iwlwifi 02:00.0: 0x00400410 | CNVI_AUX_MISC_CHIP
[init -> wifi_drv] iwlwifi 02:00.0: 0x00400410 | CNVR_AUX_MISC_CHIP
[init -> wifi_drv] iwlwifi 02:00.0: 0x00009061 | CNVR_SCU_SD_REGS_SD_REG_DIG_DCDC_VTRIM
[init -> wifi_drv] iwlwifi 02:00.0: 0x00000061 | CNVR_SCU_SD_REGS_SD_REG_ACTIVE_VDIG_MIRROR
[init -> wifi_drv] iwlwifi 02:00.0: WRT: Collecting data: ini trigger 4 fired (delay=0ms).
[init -> wifi_drv] iwlwifi 02:00.0: WRT: Failed to dump region: id=19, type=16
[init -> wifi_drv] Warning: Libc RNG not configured
[init -> wifi_drv] wlan0: authenticate with 4c:1b:86:5b:de:18
[init -> wifi_drv] wlan0: 80 MHz not supported, disabling VHT
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 1/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 2/3)
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 3/3)
[init -> wifi_drv] wlan0: authentication with 4c:1b:86:5b:de:18 timed out
[init -> wifi_drv] wlan0: authenticate with 4c:1b:86:5b:de:18
[init -> wifi_drv] wlan0: 80 MHz not supported, disabling VHT
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 1/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 2/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 3/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: authentication with 4c:1b:86:5b:de:18 timed out
[init -> wifi_drv] wlan0: authenticate with 4c:1b:86:5b:de:18
[init -> wifi_drv] wlan0: 80 MHz not supported, disabling VHT
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 1/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 2/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
Warning: flush page table entries - mapping cache full - PD: init -> wifi_drv
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 3/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: authentication with 4c:1b:86:5b:de:18 timed out
[init -> wifi_drv] wlan0: authenticate with 4c:1b:86:5b:de:18
[init -> wifi_drv] wlan0: 80 MHz not supported, disabling VHT
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 1/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 2/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: send auth to 4c:1b:86:5b:de:18 (try 3/3)
[init -> wifi_drv] iwlwifi 02:00.0: Session protection failure
[init -> wifi_drv] iwlwifi 02:00.0: Not associated and the session protection is over already...
[init -> wifi_drv] wlan0: Connection to AP 4c:1b:86:5b:de:18 lost
[init -> wifi_drv] wlan0: authentication with 4c:1b:86:5b:de:18 timed out
m-stein commented 3 weeks ago

@chelmuth This 467b5c96ab should fix hw and nova.

chelmuth commented 3 weeks ago

Merged to staging.

cnuke commented 3 weeks ago

@m-stein I am afraid I have no insight I could provide but judging by the history of CI results the wifi_drv has not been tested or has had issue on seL4 for quite some time now. The messages that look suspicious though are

[…]
Warning: invalid signal-context capability
Warning: flush page table entries - mapping cache full - PD: init -> wifi_drv
[init -> wifi_drv] iwlwifi 02:00.0: loaded PNVM version dda57f4f
[init -> wifi_drv] iwlwifi 02:00.0: Detected RF GF, rfid=0x10d000
[init -> wifi_drv] iwlwifi 02:00.0: base HW address: 3c:e9:f7:de:a5:17
Warning: flush page table entries - mapping cache full - PD: init -> wifi_drv
Warning: void Core::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x100
[…]

as I would expect the working-set of memory of the driver to be small enought to not blow the static page table limit.

m-stein commented 3 weeks ago

@chelmuth @cnuke Considering cnuke's answer, may I disable sel4 for the test?

alex-ab commented 3 weeks ago

@m-stein: may you try to give the wifi drv more memory as test case for seL4, it may effect the size of the page cache (so avoiding the flush) ?

m-stein commented 3 weeks ago

@alex-ab Thanks for the hint! Will try that.