search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

Fix for aarch64 crt0 in libsel4platsupport. #7

Closed Furao closed 6 years ago

Furao commented 6 years ago

Move the contents of the correct register to the stack pointer.

Signed-off-by: Robbie VanVossen robert.vanvossen@dornerworks.com