seL4_tools icon indicating copy to clipboard operation
seL4_tools copied to clipboard

Published 20 hours ago • verified publisher icon seL4

elfloader/loongarch: add support for loongarch and run on the loongson

Open ChenYangng opened this issue 2 years ago • 0 comments

Port elfloader to loongarch and run on the loongson 3A5000 platform.

This is an environment for running loongarch bios and OS on X86 machines Corresponding pull requests for seL4, sel4runtime, musllibc, seL4_libs, util_libs and sel4test will also be provided.

ChenYangng avatar Feb 06 '23 07:02 ChenYangng