Garrett Gu

@deian No worries if not, but has there been progress on this recently? Also, when you mention "leave out the multiple memories," are you saying that memories should not be...

@stlankes we're a group of UT Austin students working on a project for a Virtualization class, and we're interested in picking this issue up. 🙂

I think we're good on the RISC-V, we will definitely take you up on the structure. Is Slack the best way to reach you? 😊

Hello, it's that team from UT Austin again. ;-) We hit a bit of a wall after implementing the RISC-V bootloader, can we work on this? Also, is this intended...

@jbreitbart @stlankes One issue we ran into is that criterion is supposed to run on the host OS (since it needs to write to files and stuff) but the benchmarks...

Oh yeah, that was my bad. Just 2 AM things. Here's the error: ```Criterion.rs ERROR: error: Failed to access file "target/criterion/1000_syscalls/new": operation not supported on HermitCore yet``` This corresponds to...

@jbreitbart No worries! Those instructions are for cargo-criterion, which is criterion's new experimental custom Cargo extension. The issue with this one is that cargo-criterion wants to run on the host....

Seems like there's some overlap with #1851. Can you take a look? Specifically, is there a possibility to reuse the `DiskCache` to store snapshots as well?

Mac is failing due to #1837

After some analysis, the issue seems to be unrelated to br_table, and the generated semantics seem to be correct. Need more debugging to find the real cause