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