Re: ARM ports
> You will need to cross-build MINIX. For which you need
> cross-toolchains. According to the doc below these need to output COFF
> for OS independence. Is that still true for MINIX3?
I strongly advise making any new port EABI/ELF based. The COFF toolchain
support is largely unmaintained, and is liable to cause serious grief when you
want to support things like Thumb mode.
If you want a different format for executable images, then you can use a
postlinker to create them from ELF images. SymbianOS and uClinux already do
this (though the uClinux implementation is a bit of a hack).