TC-7 FAQ

Nolimips Precondition 'has_unlimited(reg.get_index())' failed

This lovely error message is the sign you’re using an obsolete version of Nolimips. Update it.

What are the syscall numbers in order to use Nolimips?

Nolimips syscall numbers

Services	Syscall numbers (in $v0)	a0	a1	a2	result
read	0x02	fd	buf	count	v0
write	0x03	fd	buf	count	v0
exit	0x06	status
malloc	0x33	size

Note : that the syscall free is not implemented yet in Nolimips