-
Notifications
You must be signed in to change notification settings - Fork 44
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
Added rockpro64 #71
base: main
Are you sure you want to change the base?
Added rockpro64 #71
Conversation
Can you show the log of when it's not working? It might help me remember what patch is needed. |
When I added the changes to your fork I saw successful boot like this:
Adding equivalent changes to the upstream yields:
I should note though that I saw some flaky behavior on this board today. It was not getting further than:
for either version for about a dozen attempts. I don't have another board to test. |
My guess is that the commit of seL4 doesn't match what's in this README. The fork uses a different version of seL4. I also notice no UART output from the loader? There should be a bunch of I'm not sure what's going on with |
Hey @sand7000, any luck? Let me know if I can help in any way. |
Sorry for delayed response, I have been traveling and busy on another project. I think you are right. I rebuilt today but I can't test because our board seems to be bad. I bought a new one and will test when I have it. |
@@ -55,30 +55,29 @@ class ConfigInfo: | |||
|
|||
SUPPORTED_BOARDS = ( | |||
BoardInfo( | |||
name="tqma8xqp1gb", |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It seems there is some rebase quirk here, this overwrites tqma8xqp1gb
instead of just adding rockpro64
.
I added the rock pro to Ivan's fork:
https://github.com/Ivan-Velickovic/microkit
and I was able to boot the hello example on the rockpro64 without issues. I have added my changes against the upstream version and it boots but doesn't print hello on the UART. Something is different in Ivan's for that is missing in upstream. I don't want to make a pull request for changes that aren't mine so I am just adding the changes for the rockpro64.