Raspberry Pi port, piCore-15.0 is available!
Yes. Do not use ctrl/c. You question is similar to "Hot to avoid unplugging it from the wall outlet".
This combination (Ctrl + C) need to be turned off.
stty intr undef