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.

Sign up for GitHub

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

Jump to bottom

tool: print out values of TCB registers in report #90

Merged
merged 1 commit into from
Jan 11, 2024
Merged

tool: print out values of TCB registers in report #90

merged 1 commit into from
Jan 11, 2024

Conversation

Ivan-Velickovic
Copy link
Collaborator

Before:

    0x001f TCB                  - WriteRegisters    - 0x8000000000000006 (TCB: PD=hello)
         resume               False
         arch_flags           0
         regs                 <microkit.sel4.Sel4Aarch64Regs object at 0x7f4eeed85880>

After:

    0x001f TCB                  - WriteRegisters    - 0x8000000000000006 (TCB: PD=hello)
         resume               False
         arch_flags           0
         regs                 pc: 0x0000000000200000
                              sp: 0x0000000000000000
                              spsr: 0x0000000000000000
                              x0: 0x0000000000000000
                              x1: 0x0000000000000000
                              x2: 0x0000000000000000
                              x3: 0x0000000000000000
                              x4: 0x0000000000000000
                              x5: 0x0000000000000000
                              x6: 0x0000000000000000
                              x7: 0x0000000000000000
                              x8: 0x0000000000000000
                              x16: 0x0000000000000000
                              x17: 0x0000000000000000
                              x18: 0x0000000000000000
                              x29: 0x0000000000000000
                              x30: 0x0000000000000000
                              x9: 0x0000000000000000
                              x10: 0x0000000000000000
                              x11: 0x0000000000000000
                              x12: 0x0000000000000000
                              x13: 0x0000000000000000
                              x14: 0x0000000000000000
                              x15: 0x0000000000000000
                              x19: 0x0000000000000000
                              x20: 0x0000000000000000
                              x21: 0x0000000000000000
                              x22: 0x0000000000000000
                              x23: 0x0000000000000000
                              x24: 0x0000000000000000
                              x25: 0x0000000000000000
                              x26: 0x0000000000000000
                              x27: 0x0000000000000000
                              x28: 0x0000000000000000
                              tpidr_el0: 0x0000000000000000
                              tpidrro_el0: 0x0000000000000000

@Ivan-Velickovic
tool: print out values of TCB registers in report
c4ccb52 
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
@Ivan-Velickovic Ivan-Velickovic marked this pull request as ready for review January 11, 2024 01:58
@Ivan-Velickovic Ivan-Velickovic merged commit 17f06ed into main Jan 11, 2024
7 of 8 checks passed
@Ivan-Velickovic Ivan-Velickovic deleted the print_tcb_regs branch January 11, 2024 06:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Ivan-Velickovic