port core.sys.linux.elf