Skip to content

Add CapbilityPtr and Add SuccessAddr and SuccessPtr syscall variants#4174

Merged
jrvanwhy merged 47 commits intomasterfrom
meta_ptr
Nov 17, 2024
Merged

Add CapbilityPtr and Add SuccessAddr and SuccessPtr syscall variants#4174
jrvanwhy merged 47 commits intomasterfrom
meta_ptr

Conversation

@LawrenceEsswood
Copy link
Copy Markdown
Contributor

Pull Request Overview

This changes some u32s into usizes as appropriate.

It also introduces a new MetaPtr type that is a pointer that has explicit target dependant metadata. On many platforms, this will just be a wrapper around usize. On CHERI platforms MetaPtr will be a capability.
See later commit.

It also adds a new syscall encoding encode_syscall_return_metaptr That is intended to work for both 32/64 platforms with or without this extra metadata.

Testing Strategy

Running on QEMU

TODO or Help Wanted

This pull request still needs review, especially around encode_syscall_return_mptr which makes some decisions on how 64-bit syscalls should work

Documentation Updated

None

Formatting

  • [x ] Ran make prepush.

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

Labels

arch/risc-v RISC-V architecture kernel last-call Final review period for a pull request. P-Significant This is a substancial change that requires review from all core developers. tock-libraries This affects libraries supported by the Tock project

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants