wasm2mpy enables running many languages on #MicroPython#ESP32#RaspberryPi#STM32#nRF52#RISC-Vgithub.com/vshymanskyy/...#WebAssembly#RV32#WASM@kripken.com
huh, TIL there is a zero knowledge... thingy, that works by: - using postcard somehow - executes as an rv32 emulator I think this is using riscv as the virtual machine for zero knowledge proof stuff? But apparently having `alloc` but not atomics breaks it: github.com/nexus-xyz/ne... oops :p
Following https://docs.nexus.xyz/zkvm/sdk-quick-start with the given host and guest example programs: #![cfg_attr(target_arch = "riscv32", no_std, no_main)] use nexus_rt::{println, read_private_inp...
Oliko ensimmäinen elokuva, joka Euroopassa julkaistiin DVD formaatissa? Näin minulle aikoinaan ainakin kerrottiin. Siksi se oli tribuuttina ensimmäinen DVD, jonka itse ostin. Along with Panasonic DVD-RV32 player. Niillä sitten katsoin 32" Sony Trinitronista. Good times♥️
It's probably an implicit requirement. The only sub-32 architectures I can think of off the top of my head supported by Rust are MSP430 (16-bit) and AVR (8-bit). MnemOS is almost certainly too big to fit on either of those archs. Cortex-M/RV32 is probably the smallest possible target.
Got a little SDL2+OpenGL plus the very basics of an emulated RV32 core up and running last night. Currently doesn't do anything but trap forever (it sees memory as all 0s right now), so next I'm gonna work on building a simple "boot rom" for it to execute! #gamedev #fantasyconsole #athena32