Index of /debian/barrelfish/barrelfish-HEAD-60a7758/

../
capabilities/                                      21-Sep-2018 13:26                   -
devices/                                           21-Sep-2018 13:26                   -
doc/                                               21-Sep-2018 13:26                   -
errors/                                            21-Sep-2018 13:26                   -
hake/                                              21-Sep-2018 13:26                   -
if/                                                21-Sep-2018 13:26                   -
include/                                           21-Sep-2018 13:26                   -
kernel/                                            21-Sep-2018 13:26                   -
lib/                                               21-Sep-2018 13:26                   -
platforms/                                         21-Sep-2018 13:26                   -
schemas/                                           21-Sep-2018 13:26                   -
socs/                                              21-Sep-2018 13:26                   -
tools/                                             21-Sep-2018 13:26                   -
trace_definitions/                                 21-Sep-2018 13:26                   -
usr/                                               21-Sep-2018 13:26                   -
AUTHORS                                            21-Sep-2018 13:26                1922
LICENSE                                            21-Sep-2018 13:26                1080
README                                             21-Sep-2018 13:26               11514
README_ARRAKIS                                     21-Sep-2018 13:26                3813
README_NETWORKING                                  21-Sep-2018 13:26                2999
default.nix                                        21-Sep-2018 13:26                1266
shell.nix                                          21-Sep-2018 13:26                1102