--- a/ToDo	Mon Aug 08 11:54:27 2016 +0200
+++ b/ToDo	Sat Aug 20 09:47:45 2016 +0200
@@ -46,7 +46,6 @@
 --------
 - support for return values: aggregate return values
 - support for argument values: structures, half-precision, vector types, long double
-- varargs for mips (might exist, but test all ABIs (mipseb n64 already confirmed))
 - consider automatic type-promotion for arguments passed through DC_CALL_C_ELLIPSIS_VARARGS;
   this would make it easier to just pass arguments instead of having to know about the C
   type promotions (this is partly done, see todo-item above under 1.0)
@@ -55,11 +54,11 @@
   * linux
 - other syscalls
 - MIPS32 softfloat support (-msoft-float)
-- MIPS64 little-endian needs testing (current port works on openbsd/octeon, which is big endian)
 - test MIPS32 eabi big endian (current port works on psp, which is little endian)
 - implement MIPS64 N32 (gcc -mabi=n32); both, little and big-endian (looks like NetNBSD on and
   EdgeRouter lite uses this: https://blog.netbsd.org/tnf/entry/hands_on_experience_with_edgerouter)
 - implement MIPS64 EABI (gcc -mabi=eabi); both, little and big-endian
+- support for Minix/arm
 
 dynload:
 --------
@@ -81,10 +80,10 @@
 - finish PPC32 callbacks (see bugs section, below, BSD not working)
 - MIPS32 softfloat support (-msoft-float)
 - test MIPS32 eabi big endian (current port works on psp, which is little endian)
-- test MIPS64 n64 little endian (current port works on openbsd/octeon, which is big endian)
 - implement MIPS64 N32 (gcc -mabi=n32); both, little and big-endian (looks like NetNBSD on and
   EdgeRouter lite uses this: https://blog.netbsd.org/tnf/entry/hands_on_experience_with_edgerouter)
 - implement MIPS64 EABI (gcc -mabi=eabi); both, little and big-endian
+- support for Minix/arm
 
 bindings:
 ---------