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

libsel4arm-vmm: non 32-bit faults handled incorrectly #3

Open
agacek opened this issue Mar 6, 2017 · 1 comment
Open

libsel4arm-vmm: non 32-bit faults handled incorrectly #3

agacek opened this issue Mar 6, 2017 · 1 comment
Assignees
@yyshen

Comments

@agacek
Copy link
Contributor

agacek commented Mar 6, 2017

8-bit and 16-bit read and write faults do not seem to be handled correctly. For example, if a VM performs a 8-bit read and the fault is set to return 0, it will instead return a 32-bit value with garbage in the upper 24-bits and 0x00 in the lower 8-bits.
@axel-h
Copy link
Member

axel-h commented Mar 8, 2022

@yyshen Could you have a look is this issue still exists or if it can be closed?

andybui01 pushed a commit to andybui01/seL4_projects_libs that referenced this issue Oct 24, 2023
@agacek
libplatsupport: clear RX interrupt after RX irq callback (Exynos, ser…
05d0ae8 
…ial)

This fixes issue seL4#3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yyshen yyshen

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@agacek @yyshen @axel-h