HelenOS sources

EI_MAG1            84 boot/generic/src/kernel.c 	    header->e_ident[EI_MAG1] != ELFMAG1 ||
EI_MAG1            67 kernel/generic/src/lib/elf.c 	    (header->e_ident[EI_MAG1] != ELFMAG1) ||
EI_MAG1           149 uspace/app/taskdump/elf_core.c 	elf_hdr.e_ident[EI_MAG1] = ELFMAG1;
EI_MAG1            47 uspace/lib/c/generic/elf/elf.c 	    header->e_ident[EI_MAG1] != ELFMAG1 ||
EI_MAG1           147 uspace/lib/c/generic/elf/elf_mod.c 	    header->e_ident[EI_MAG1] != ELFMAG1 ||
HelenOS homepage, sources at GitHub