Index of /debian/barrelfish/barrelfish-HEAD-06a9f54/schemas/

../
Hakefile                                           20-Mar-2020 13:40                 673
acpimadt.sks                                       20-Mar-2020 13:40                8264
cpuid.sks                                          20-Mar-2020 13:40                1052
pci.sks                                            20-Mar-2020 13:40                 618