Devan Franchini e35587b117 tools-hardened/desktop: Adds kernel source population in chroot ... In order to make the building of the ISO non-reliant on any sort of external settings from the build system, the kernel source for needs to be populated into the chroot, along with the pre-made kernel config.		2014-10-07 13:32:51 -04:00
..
desktop	tools-hardened/desktop: Adds kernel source population in chroot	2014-10-07 13:32:51 -04:00
clean.sh	tools-hardened: tools and templates for hardened stages	2013-01-05 08:44:17 -05:00
run-armv7a.sh	tools-hardened: clean up run script	2013-01-19 18:21:31 -05:00
stage1-armv7a_hardfp-hardened.conf.template	tools-hardened: rename hardfloat to hardfp	2013-01-06 22:14:45 -05:00
stage2-armv7a_hardfp-hardened.conf.template	tools-hardened: rename hardfloat to hardfp	2013-01-06 22:14:45 -05:00
stage3-armv7a_hardfp-hardened.conf.template	tools-hardened: rename hardfloat to hardfp	2013-01-06 22:14:45 -05:00