diff options
| author | Himanshu Chauhan <[email protected]> | 2022-12-05 22:12:31 +0530 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2022-12-09 14:17:56 +0530 |
| commit | cb568b9b294d5b20f7dd416e89b61c8bf0fa375d (patch) | |
| tree | d7f50132e1311f9218fa54998622f305481d9737 /scripts/create-binary-archive.sh | |
| parent | 7b087781c210b756f6c6ca8e66d43a6d3b02af0a (diff) | |
lib: sbi: Synchronize PMP settings with virtual memory system
As per section 3.7.2 of RISC-V Privileged Specification,
PMP settings must be synchronized with the virtual memory
system after PMP settings have been written.
Signed-off-by: Himanshu Chauhan <[email protected]>
Reviewed-by: Anup Patel <[email protected]>
Diffstat (limited to 'scripts/create-binary-archive.sh')
0 files changed, 0 insertions, 0 deletions