Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Patch axel 7a #187

Closed
wants to merge 9 commits into from
Closed

Patch axel 7a #187

wants to merge 9 commits into from

Conversation

axel-h
Copy link
Member

@axel-h axel-h commented Jan 15, 2024

No description provided.

- Use word_t to adapt to architecture
- sbi_hart_start() takes a custom argument.
- hart ID and custom argument is passed when starting a secondary hart.

Signed-off-by: Axel Heider <[email protected]>
This also makes the comment about a1 correct again.

Signed-off-by: Axel Heider <[email protected]>
- declare stack fully in C code
- use one array that holds all stack
- use CONFIG_KERNEL_STACK_BITS for size

Signed-off-by: Axel Heider <[email protected]>
Reorder code blocks and improve comments.

Signed-off-by: Axel Heider <[email protected]>
Use wrapper function to Improve code readability.

Signed-off-by: Axel Heider <[email protected]>
Rework boot code flow to simplify it and avoid redundancy.

Signed-off-by: Axel Heider <[email protected]>
@axel-h axel-h added hw-build enable all sel4test hardware builds hw-test enable sel4test hardware builds + runs labels Jan 15, 2024
- stop wrong boot hart, it will be started alter again.
- abort if a secondary hart cannot be started.
- check hsm_exists only once.
- log message if HSM extension is missing.
- improve comments.

Signed-off-by: Axel Heider <[email protected]>
- build code around SBI HSM extension
- Ensure DTB is always passed to primary core boot
- Drop variable hsm_exists, pass information as parameter
- Print more log messages

Signed-off-by: Axel Heider <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hw-build enable all sel4test hardware builds hw-test enable sel4test hardware builds + runs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant