Index of /src/libsel4-sys-0.5.2/test_configs/

../
README.md                                          20-Aug-2018 12:28                 489
aarch64-sel4-fel4.json                             20-Aug-2018 12:28                 871
armv7-sel4-fel4.json                               20-Aug-2018 12:28                 854
fel4.toml                                          20-Aug-2018 12:28                4486
x86_64-sel4-fel4.json                              20-Aug-2018 12:28                 717