Index of /debian/barrelfish/barrelfish-HEAD-06a9f54/if/arch/

../
armv7.if                                           20-Mar-2020 13:40                 354
armv8.if                                           20-Mar-2020 13:40                 336
k1om.if                                            20-Mar-2020 13:40                 354
x86_32.if                                          20-Mar-2020 13:40                 354
x86_64.if                                          20-Mar-2020 13:40                 354