Hello Christoph.
> In our company we only use the old minix format.
Whoops... yes, those partition have 14-byte filnames as well. I didn't
check their magic number, only that of a freshly made mkfs.minix, but
in the meantime the tool was updated.
> I don't know, if GRUB can handle any other minix file system than the
> old classic one.
>From the sources it looks like it accepts both the 14-char and 30-char
versions, but refuses to handle minix-v2 filesystems. While I didn't
try the 30-char (I tought I did, but I was wrong as stated above), the
fact that is refuses to deal with some fs types makes me sure it
correctly handles both the 30-char and the 14-char ones. I'll try later
today, though.
> So 0x80 can be used as 'protection' not to use GRUB on non-classic
> minix partitions, created with mkfs.minix without `-n14' option
> (which should have code 0x81 !)
Since GRUB uses the magic number found inside the filesystem, it
can't mistake one filesystem for another. You can go ahead without
concern about the partition type (while I see Okuji point of precenting
rare mistakes, once the partition type is one-of-the-minix-ones the
magic number makes reliably it task with 0 probability of mistake.
Best regards
/alessandro