Cross Reference: /seL4-refos-master/configs/

Name		Date	Size
..		25-Jul-2019	19
ia32_debug_defconfig	H A D	25-Jul-2019	5.6 KiB
ia32_debug_test_defconfig	H A D	25-Jul-2019	5.5 KiB
ia32_release_defconfig	H A D	25-Jul-2019	5.5 KiB
ia32_release_test_defconfig	H A D	25-Jul-2019	5.5 KiB
ia32_screen_debug_defconfig	H A D	25-Jul-2019	5.6 KiB
ia32_screen_release_defconfig	H A D	25-Jul-2019	5.5 KiB
imx6_debug_defconfig	H A D	25-Jul-2019	5.7 KiB
imx6_debug_test_defconfig	H A D	25-Jul-2019	5.7 KiB
imx6_release_defconfig	H A D	25-Jul-2019	5.6 KiB
imx6_release_test_defconfig	H A D	25-Jul-2019	5.6 KiB
kzm_debug_defconfig	H A D	25-Jul-2019	5.7 KiB
kzm_debug_test_defconfig	H A D	25-Jul-2019	5.7 KiB
kzm_release_defconfig	H A D	25-Jul-2019	5.6 KiB
kzm_release_nethack_defconfig	H A D	25-Jul-2019	5.6 KiB
kzm_release_test_defconfig	H A D	25-Jul-2019	5.6 KiB