Skip to content

use sel4_start public api to get stack address

Jimmy Brush requested to merge sel4_start into wip

Previously we indirectly accessed exported symbols from the asm in sel4_start to get the stack address. Make this dependency explicit and use a public api to get the stack address.

Part of work on sel4-start#2 (closed)

Merge request reports