add_executable(badinst1.bin badinst1.c)
add_executable(badinst2.bin badinst2.c)
add_executable(fault.bin fault1.c)
add_executable(hello.bin hello.c)
add_executable(putget.bin putget.c)

chcore_install_all_targets()