Show HN: RISC-V Linux Terminal emulated via WASM
cartesi-machine.surge.sh
Show HN: RISC-V Linux Terminal emulated via WASM
1–6 of 6 posts
Re: Show HN: RISC-V Linux Terminal emulated via WASM
#2> runs an unmodified Debian distribution including many native development toolchains.
> WebVM is powered by the CheerpX virtualization engine, and enables safe, sandboxed client-side execution of x86 binaries on any browser. CheerpX includes an x86-to-WebAssembly JIT compiler, a virtual block-based file system, and a Linux syscall emulator.
How do CheerpX and Cartesi Machine compare?
Re: Show HN: RISC-V Linux Terminal emulated via WASM
#3webvm has [Tailscale] sockets-over-WebSockets for networking: https://github.com/leaningtech/webvm and: > runs an unmodified Debian distribution including many native development toolchains. > WebVM is powered by the CheerpX virtualization engine, and enables safe, sandboxed client-side execution of x86 binaries on any browser. CheerpX includes an x86-to-WebAssembly JIT compiler, a virtual block-based file system, an…
- The Cartesi Machine can run any Linux distribution with RISC-V support, it emulates RISC-V ISA, while CheerpX emulates x86. For instance the Cartesi Machine can run Alpine, Ubuntu, Debian, etc.
- The Cartesi Machine performs a full Linux emulation, while CheerpX emulates only Linux syscalls.
- The Cartesi Machine has no JIT, it only interprets RISC-V instructions, so it is expected to be slower than CheerpX.
- The Cartesi Machine is isolated from the external world and this is intentional, so there is no networking support.
- The Cartesi Machine is a deterministic machine, with the possibility to take a snapshot of the whole machine state so it can be resumed later, CheerpX was not designed for this use case.
Re: Show HN: RISC-V Linux Terminal emulated via WASM
#4Re: Show HN: RISC-V Linux Terminal emulated via WASM
#5Probably about as fast as a real RISC-V machine too.
And you can shortly get that 1.85 GHz 3-wide OoO in a 64 core chip, on single- and dual-socket motherboards (64 or 128 cores), with quad-socket coming soon. I've been using such a machine via ssh since March, customer deliveries will start in a couple of months.
Re: Show HN: RISC-V Linux Terminal emulated via WASM
#6webvm has [Tailscale] sockets-over-WebSockets for networking: https://github.com/leaningtech/webvm and: > runs an unmodified Debian distribution including many native development toolchains. > WebVM is powered by the CheerpX virtualization engine, and enables safe, sandboxed client-side execution of x86 binaries on any browser. CheerpX includes an x86-to-WebAssembly JIT compiler, a virtual block-based file system, an…
Main differences in emulation context: - The Cartesi Machine can run any Linux distribution with RISC-V support, it emulates RISC-V ISA, while CheerpX emulates x86. For instance the Cartesi Machine can run Alpine, Ubuntu, Debian, etc. - The Cartesi Machine performs a full Linux emulation, while CheerpX emulates only Linux syscalls. - The Cartesi Machine has no JIT, it only interprets RISC-V instructions, so it is exp…
"Show HN: Tetris, but the blocks are ARM instructions that execute in the browser" (2023) https://news.ycombinator.com/item?id=37086102 ; emu86 supports WASM, MIPS, RISC-V but not yet ARM64/Aarch64
Is there a "Record and replay" or a "Time-travel debugger" at the emulator level or does e.g. rr just work because Cartesi Machine is a complete syscall emulator?