jwnhy
jwnhy
> @jwnhy can you confirm you did not run the `coq_makefile` from the snap package? Actually, I tried both the original `makefile` in the SF and use `coq_makefile` to make...
I don't think it is correctly set up. My snap folder showed something like this.  I didn't setup `snap` manually, but to use a one-line command ```bash snap install...
So I ran the `make debug > ~/temp 2>&1; make VERBOSE=1 >> ~/temp 2&>1` and it spit out a huge [chunk](https://pastebin.com/j92Qeq4z). @gares Hope this is useful to you.
> Something is very fishy, for example this does not exist: > > * /snap/coq-prover/28/coq-platform/2022-01-0/bin//coqc > > While your screenshot suggests that > > * /var/lib/snapd/snap/coq-prover/28/coq-platform/2022-01-0/bin//coqc > > does. Which...
> > It took me a while to get every kernel stuff for `snap` to work... > > Are the paths configured in a standard way? I don't get why...
My `snap` version is 2.54.4
https://github.com/JohnWestonNull/rCore_SoC_Dairy
I am quite new to rust community and want to find something to try, may I take this issue? Could your give me some guide?
I am thinking that for common registers, just `setter` and `getter` should suffice. For complicated register like `pmpcfg`, a more approachable config function should be provided?
Move to staging as there are quite a lot changes.