/* Default target configuration file. To override this, create file `tconfig.in' in the simulator's source directory. */