Public
- Public
- Network
- Groups
- Popular
- People

Notices by Amanda (amanda@tut.amanda.systems)

Amanda (amanda@tut.amanda.systems)'s status on Tuesday, 31-Jan-2023 08:13:43 JST Amanda
in reply to
- Aral Balkan
@aral MangoPi might be an option; it’s a cheap RISC-V board with performance characteristics not completely dissimilar to RaspberryPi. Connectors are USB-C and Micro-HDMI though.

I have one, but haven’t done anything with it yet. Software is…hard to find.

https://www.aliexpress.com/item/1005004157984532.html

Review: https://bret.dk/armbian-on-the-mangopi-mq-pro/

Specs: https://linux-sunxi.org/MangoPi_MQ-Pro
In conversation Tuesday, 31-Jan-2023 08:13:43 JST from tut.amanda.systems permalink
Attachments
1. 3113.0￥ |サーキュラピンクv1.4,wifi/bt付きmq pro d1ボード,RISC V sbc,512mb/1gb| | - AliExpress
  
  Smarter Shopping, Better Living! Aliexpress.com
2. Armbian on the MangoPi MQ Pro!
  
  After weeks of banging my head against a wall trying to get the MangoPi MQ Pro running, we finally have Armbian based images thanks to forum user balbes150!
3. MangoPi MQ-Pro - linux-sunxi.org

User actions

#ComputerScientist PhD student working on specialised #ConstraintSolvers for #ProgramAnalysis, including the #Polonius ownership constraint solver for the #Rust compiler. Previously at @mnda@scholar.social.I am hosting this instance from a laptop in a chest of drawers everything is FINE.

Tags