You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
00:14.0 USB controller: Intel Corporation Sunrise Point-H USB 3.0 xHCI Controller (rev 31)
Some USB device is trying to perform DMA writes once seL4 starts it seems. Does that machine have any USB devices attached to it that the other haswell machines don't?
All of the usb devices go through that USB controller:
$ lsusb
Bus 002 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
Bus 001 Device 006: ID 06cb:0009 Synaptics, Inc. Composite TouchPad and TrackPoint
Bus 001 Device 005: ID 04b3:3018 IBM Corp. UltraNav Keyboard
Bus 001 Device 003: ID 04b3:3016 IBM Corp. UltraNav Keyboard Hub
Bus 001 Device 004: ID 413c:2002 Dell Computer Corp. SK-8125 Keyboard
Bus 001 Device 002: ID 413c:1002 Dell Computer Corp. Keyboard Hub
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Activity
kent-mcleod commentedon Dec 7, 2021
According to a lspci under linux:
Some USB device is trying to perform DMA writes once seL4 starts it seems. Does that machine have any USB devices attached to it that the other haswell machines don't?
kent-mcleod commentedon Dec 7, 2021
All of the usb devices go through that USB controller:
lsf37 commentedon Dec 7, 2021
@wom-bat do you know if
skylakehas any USB devices attached that would be causing this?lsf37 commentedon Dec 7, 2021
Peter says it might be the keyboard/mouse that is plugged in.