Index of /debian/barrelfish/barrelfish-HEAD-06a9f54/devices/xeon_phi/

../
xeon_phi_apic.dev                                  20-Mar-2020 13:40                3736
xeon_phi_boot.dev                                  20-Mar-2020 13:40                8319
xeon_phi_c6_scratch.dev                            20-Mar-2020 13:40                 771
xeon_phi_dbox.dev                                  20-Mar-2020 13:40               44639
xeon_phi_debug.dev                                 20-Mar-2020 13:40                 781
xeon_phi_dma.dev                                   20-Mar-2020 13:40                8708
xeon_phi_dma_chan.dev                              20-Mar-2020 13:40                4420
xeon_phi_gbox.dev                                  20-Mar-2020 13:40                2901
xeon_phi_i2c_oc.dev                                20-Mar-2020 13:40                1287
xeon_phi_irq.dev                                   20-Mar-2020 13:40                8867
xeon_phi_mcx.dev                                   20-Mar-2020 13:40                2438
xeon_phi_rdma.dev                                  20-Mar-2020 13:40                 740
xeon_phi_sbox.dev                                  20-Mar-2020 13:40               11171
xeon_phi_scratch.dev                               20-Mar-2020 13:40                 791
xeon_phi_sensors.dev                               20-Mar-2020 13:40               16508
xeon_phi_serial.dev                                20-Mar-2020 13:40                1143
xeon_phi_smpt.dev                                  20-Mar-2020 13:40                1726