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: the syscall free is not yet implemented in Nolimips.