Doing a "make menuconfig" yields a bad configuration.
Doing a "make menuconfig" yields a bad configuration.

So always run "make ia32_simulation_test_thrds_defconfig" or one of
the other configurations. You can then run "make menuconfig" to tweak
the config if you'd like.

There are several differences from a config created by running
"make menuconfig" first and a "make ia32_simulation_test_thrds_defconfig".
The obvious error is that there the compiler is wrong because the
TOOLPREFIX has been set to "i686-pc-linux-gnu-" so the compiler isn't
found, at least on my system.


 $ make menuconfig
 [GEN] /home/wink/prgs/seL4-projects/test-thrds/Makefile
 make -f tools/kbuild/Makefile.build obj=tools/kbuild/basic
 #
 # configuration written to .config
 #


 *** End of the configuration.
 *** Execute 'make' to start the build or try 'make help'.

 wink@desktop:~/prgs/seL4-projects/test-thrds
 $ make
 [GEN] /home/wink/prgs/seL4-projects/test-thrds/Makefile
 [KERNEL]
 /home/wink/prgs/seL4-projects/test-thrds/kernel/Makefile:292: *** i686-pc-linux-gnu-gcc not in PATH or not executable.  Stop.
tools/common/project.mk:233: recipe for target 'kernel_elf' failed
 make: *** [kernel_elf] Error 2

winksaville/sel4-test-thrds,winksaville/sel4-test-thrds