OS devices for Xilinx FPGA?

[bgoglin]

We could make xilink FPGA appear as CoProc OS devices but there's currently not much to show.

$ ls -l /sys/class/xrt_mgmt/
total 0
lrwxrwxrwx 1 root root 0 Aug 30 10:29  xclmgmt8448 -> ../../devices/pci0000:20/0000:20:03.1/0000:21:00.0/xrt_mgmt/xclmgmt8448
lrwxrwxrwx 1 root root 0 Aug 30 10:29 'xfpga!flash.m8448.0' -> '../../devices/pci0000:20/0000:20:03.1/0000:21:00.0/flash.m.8388608/xrt_mgmt/xfpga!flash.m8448.0'
lrwxrwxrwx 1 root root 0 Aug 30 10:29 'xfpga!icap.m8448.0' -> '../../devices/pci0000:20/0000:20:03.1/0000:21:00.0/icap.m.22020096/xrt_mgmt/xfpga!icap.m8448.0'
lrwxrwxrwx 1 root root 0 Aug 30 10:29 'xfpga!mailbox.m8448.0' -> '../../devices/pci0000:20/0000:20:03.1/0000:21:00.0/mailbox.m.9437184/xrt_mgmt/xfpga!mailbox.m8448.0'
lrwxrwxrwx 1 root root 0 Aug 30 10:29 'xfpga!xmc.m8448.0' -> '../../devices/pci0000:20/0000:20:03.1/0000:21:00.0/xmc.m.18874369/xrt_mgmt/xfpga!xmc.m8448.0'
lrwxrwxrwx 1 root root 0 Aug 30 10:29 'xfpga!xvc_pri.m8448.0' -> '../../devices/pci0000:20/0000:20:03.1/0000:21:00.0/xvc_pri.m.13631488/xrt_mgmt/xfpga!xvc_pri.m8448.0'
$ ls -l /sys/class/xrt_user/
total 0
lrwxrwxrwx 1 root root 0 Aug 30 10:29 'xfpga!mailbox.u8449.0' -> '../../devices/pci0000:20/0000:20:03.1/0000:21:00.1/mailbox.u.9437184/xrt_user/xfpga!mailbox.u8449.0'
$ ls -l /dev/x*
crw-rw-rw- 1 root root 238, 0 Aug 30 10:26 /dev/xclmgmt8448
lrwxrwxrwx 1 root root     21 Aug 30 10:26 /dev/xvc_pri.m0 -> xfpga/xvc_pri.m8448.0

/dev/xfpga:
total 0
crw------- 1 root root 237, 0 Aug 30 10:26 flash.m8448.0
c-w------- 1 root root 511, 0 Aug 30 10:26 icap.m8448.0
crw------- 1 root root 234, 0 Aug 30 10:26 mailbox.m8448.0
crw------- 1 root root 503, 0 Aug 30 10:26 mailbox.u8449.0
crw------- 1 root root 510, 1 Aug 30 10:26 xmc.m8448.0
crw------- 1 root root 236, 0 Aug 30 10:26 xvc_pri.m8448.0

Not sure what 8448 and 8449 refer to here, the machine has a single FPGA.

There are many other files (https://xilinx.github.io/XRT/master/html/sysfs.html) but I don't much to query and show in hwloc. I don't even know what name to show.