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

Type check not properly inserted into boot code #406

Open
gparmer opened this issue Jul 23, 2020 · 0 comments
Open

Type check not properly inserted into boot code #406

gparmer opened this issue Jul 23, 2020 · 0 comments
Assignees
@gparmer
Labels
C-kernel P-medium T-bug

Comments

@gparmer
Copy link
Collaborator

gparmer commented Jul 23, 2020

When booting (in boot_comp.c), the BSS is allocated with kernel typed memory (which is bug #1), and then the retype machinery allows it to be mapped in despite it being an incorrect type for mapping into user level (bug #2).

FIXME.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gparmer gparmer

Labels
C-kernel P-medium T-bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@gparmer