Dong Du

icon company Shanghai Jiao Tong University icon location Shanghai, China icon location Assistant Professor @IPADS, SJTU. I am working on operating system/ RISC-V/ serverless computing/ heterogeneous computing.

Results 4 issues of Dong Du

Update to OpenSBI-v1.0

OpenSBI has released its 1.0 version. We should bump up Penglai to support 1.0 openSBI.

enhancement

The need to dynamically detect PMP numbers

Currently Penglai's SM (statically) assumes 16 PMPs. However, there are some platforms support less (e.g., 8 PMPs) or more (e.g., in the future with ePMP we will have upto 64)....

enhancement

Failed to build MegaBoom

### Background Work - [X] Yes, I searched the [mailing list](https://groups.google.com/forum/#!forum/firesim) - [X] Yes, I searched [prior issues](https://github.com/firesim/firesim/issues) - [X] Yes, I searched the [documentation](https://docs.fires.im/en/stable/) ### FireSim Version and Hash...

bug

Add M-mode secondary context extension

This PR adds the M-mode secondary context extension. `make smtctx` will build the proposal. The main contents are based on RISC-V TEE's gdoc, except that the three new fields are...