Hi Andreas!
Are you sure you aren't comparing a compressed image with an uncompressed one?
Compressed and uncompressed MiNT kernels?? We do have that? What I did is this: in the sys folder of the freemint cvs branch: make ara make mil strip .compile_mil/mint* strip .compile_ara/mint* I get two kernels. The Milan kernel is about 100 kB less in size than the aranym kernel. And I was just wondering why (and still am). Cheers, Ingo =;->