Merge pull request #21 from ross144/main

Test merge request via github cli.  Please accept.
This commit is contained in:
Mike Thompson 2023-01-23 22:29:58 +01:00 committed by GitHub
commit b990c2b24f
2 changed files with 10 additions and 0 deletions

View File

@ -125,3 +125,10 @@ pip3 install riscof --ignore-installed PyYAML
# Verilator # Verilator
apt install -y verilator apt install -y verilator
# install github cli (gh)
type -p curl >/dev/null || sudo apt install curl -y
curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg \
&& sudo chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg \
&& echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null \
&& sudo apt update \
&& sudo apt install gh -y

View File

@ -1,2 +1,5 @@
1. [X] Cache is suppressing d cache flush if there is a dtlb miss. 1. [X] Cache is suppressing d cache flush if there is a dtlb miss.
1. Fixed by disabling mmu's address translation on flush. 1. Fixed by disabling mmu's address translation on flush.
2. Test commit.