NetBSD, Thinkpad laptops and docking stations?

[Brian Buhrow <buhrow%nfbcal.org@localhost>]

	hello everyone!  I'm thinking about updating my laptop environment and I'd like to use
NetBSD to do it.  I see on the wiki pages Lenovo Thinkpads are well supported.  However, I'm
wondering how devices attached via the USB-C docking stations work?  Do they show up as devices
on the USB sub-system?  For example, the docking station I'm looking at is attached to the
laptop via a USB-C cable, but has two Display ports, 1 Gigabit ethernet, 1 audio jack and
number of USB ports, as well as an HDMI port.  How do the video, ethernet and audio devices on
the docking station present themselves to the OS?

If someone has somd dmesg output showing the attachments, that would be awesome!


-thanks
-Brian