Awesome! I’m clawing back more time from work and working towards some open source hardware and software stuff. Will be fun to post once I have things underway. Mostly, I’m aiming at free and open FPGA libraries and actually useful AR/mobile computing stuff that fits in with the positive technological side of cyberpunk, rather than the dystopian. Absolutely want to dig into doing LoRa at some point as well, myself.
EDIT: Just realized that I misread the community name but, I’m still into it.
You should look into RISC-V as well. Someone posted something about a formally-verified OS that runs on an fpga emulation of risc v. it’s called lion. Super interesting stuff and some among us figure it could be a foundation for an end-to-end formally verified machine. Perhaps virtually zero attack surface area…
Awesome! I’m clawing back more time from work and working towards some open source hardware and software stuff. Will be fun to post once I have things underway. Mostly, I’m aiming at free and open FPGA libraries and actually useful AR/mobile computing stuff that fits in with the positive technological side of cyberpunk, rather than the dystopian. Absolutely want to dig into doing LoRa at some point as well, myself.
EDIT: Just realized that I misread the community name but, I’m still into it.
You should look into RISC-V as well. Someone posted something about a formally-verified OS that runs on an fpga emulation of risc v. it’s called lion. Super interesting stuff and some among us figure it could be a foundation for an end-to-end formally verified machine. Perhaps virtually zero attack surface area…