#Ubuntu 25.10 (Questing Quokka) Promises Fully Functional Desktop Session on #RISCV, Improved #Wayland Experience on #NVIDIA GPUs, and More https://9to5linux.com/canonical-plans-for-a-fully-functional-desktop-session-on-risc-v-with-ubuntu-25-10
#riscv
2 posts2 participants0 posts today
We’re hiring a postdoc at Inria SUSHI (Rennes, FR)! Work on formal verification of security across compilers, OS & hardware (e.g., RISC-V, CompCert).
Rennes 
| 
~€3K–3.2K/mo | 
Formal methods + security
guillaume.hiet@inria.fr
team.inria.fr/sushi/files/...
#Hiring #FormalMethods #RISC-V
team.inria.fr/sushi/files/20...
nanocray ? craycray ? crayola ?
Ubuntu is raising its RISC-V profile requirements to RVA23, requiring vector and hypervisor extensions to be included. Most existing RISC-V SBCs on sale lack them.
https://www.omgubuntu.co.uk/2025/06/ubuntu-riscv-rva23-support
OMG! Ubuntu · Ubuntu 25.10 Won't Run on Older RISC-V HardwareCanonical confirm a technical shift for Ubuntu on RISC-V. With Ubuntu 25.10, it will only support hardware meeting the RVA23 profile spec.
The jump to the RV23 stanrdard on Risc-V by #Ubuntu -- while no such board exists -- makes me think that #Canonical might be jumping into hardware. Basically, trying to pull a #RaspberryPi, but out of a Risc-V architecture.That would explain both their move to RV23, and their subsequent radio silence about it. In fact, for them, it even makes server-market sense. If that's true, it's definitely an exciting development for open hardware. Let's hope!
I suppose the #Nvidia #Jetson form factor is a kind of standard interface for #systemOnModule #SBC
There's already a #RiscV #SoM called the #MilkV Jupiter that's supposedly compatible with a #NvidiaJetson #carrierBoard, and now the #radxaN150 with an #x86 chip.
I'd be interested in seeing someone try various Jetson boards with the available modules.
Mastodon🧿🪬🍄🌈🎮💻🚲🥓🎃💀🏴🛻🇺🇸 (@schizanon@mastodon.social)I don't see the point of #SBC #computeModules when the #carrierBoards are almost never fully compatible with any two modules.
There should be a #carrierBoard standard so we can upgrade the CPU and Ram regardless of manufacturer or architecture.
#raspberrypi #cm5 #radxa #bananapi #cm4 #computer #hardware #computeModule #tech #technology
Replied in thread
@lajuste @fluffery @maumau @BryanGreyson @fairphone personally, I wished @GrapheneOS would support some #RISCv board becaise then they could do #FLOSS & #FLOSH thus.combining #transparency with #security.
- Sadly this takes way more than just change the target arch before compiling!
I'm going to get a lot of flak, but #Fedora44 should drop 32-bit.
• Intel/AMD processors are 64-bit compatible since 2003
• ARMv8 with 64-bit support came in 2011
• RISC-V is 64-bit compatible since 2017
If they don't do it now, nobody would be forced to update their libraries. In some cases, software would perform worse, but old 32-bit software would still run with negligible performance difference.
Moving away from the constant upgrade cycle & moving closer to the ideals of #PermaComputing #MalleableSoftware
Design and setup a redundant system of old/used, cheap, low-power devices running ia: #Guix, #Linux, #FreeBSD, #macOS, #HaikuOS, #Plan9Front, #X11, #P9, #NFS, all working together
Become an expert on #MicroControllers #ESP32 #STM32 #RP2040 #MIPS #RiscV
DIY sensors which sing like birds to communicate their status
DIY robots "drones"
Move as much as possible of my computing needs to the #Terminal, #Emacs, #Rio #CLI #TUI #P9
Get an #3DPrinter and learn to use it
Design and build my own portable 8dot #braille terminal & try out if 3x3 or 3x4 dots is also workable.
Design and build my own low-power computers, their OS, and tools
Writing more of my own tools #DIY
#SmallTalk #ObjectPascal #Prolog #Scheme #Racket #CommonLisp #Haskell #Rust #Go #ObjectiveC #Swift
Deploy #LoRa #ReticullumNetwork #RNodes #MeshCore #Meshtastic
Start an #InternetResiliencyClub
Add #Tor, #I2P support by #WebProxy
#SolarPowered #SelfHost over #I2P, #OnionService #Blog #Wiki #Repositories #GopherHole #Darcs #Mercurial
#SelfHost my own #EmailServer, which will only accept email from #KnownServers #CommunityEmail #MutualEmailAcceptance
Share files via #BitTorrent over #I2P
DIY #HomeAutomation
DIY #GardeningAutomation
DIY #GreenHouse
Get a house cat, train the cat, use voice and gestures
Start asking money for advice & technology support
Build/program my own opportunistic and strange cryptocurrency miners #BTC, #XMR, #ZEC, etc #Art
#MakeMoreArt #LearnToDraw #Learn3DModeling #LearnGenerativeArt #LearnToComposeAmbientMusic
#ReCreateJottit #ReCreateInstikiWiki
#WriteMore #PublishMore #Letters, #Essays, #Missives, #Reports, #Treatise
…
Continued thread
In my little world of #RetroComputing, I have stumbled across minor issues in some of the tools that I use.
I've had two cases so far where maintainers very quickly took my suggestion and made it available in their main branch. I've also had one where I haven't heard back from the maintainer, i.e. where I'm going to need to maintain my own fork (for #RiscV compatibility). And that's OK. Beyond being glad that I got help, I'm glad that the original authors allow me also to do the work myself.
Olli Graf
Raspithek · Banana Pi BPI-F3 - RaspithekDer Banana Pi BPI-F3 ist mein erster SBC mit RISC-V Architektur. Diese interessiert mich schon länger. RISC-V RISC-V (gesprochen „RISC Five“) ist eine offene und freie Befehlssatzarchitektur (Instruction Set Architecture = ISA) für Prozessoren, die auf dem Prinzip des „Reduced Instruction Set Computing“ (RISC) basiert. RISC-V ist lizenzfrei und kann von jedem ohne Gebühren verwendet ... Weiterlesen
FireBeetle 2 is an upcoming $15 single-board PC with a low-power RISC-V processor, MIPI-CSI and MIPI-DSI interfaces, USb-C ports, WiFi, Bluetooth, and a microSD card reader. It's the size of Raspberry Pi Zero. https://linuxgizmos.com/updated-dfrobot-previews-risc-v-based-firebeetle-2-with-esp32-p4-targeting-image-and-video-applications/ #FireBeetle2 #RiscV #SingleBoardComputer
Just released version 0.1 of TinyGo-TKey to develop apps for the Tillitis TKey-1 using TinyGo!
https://github.com/hybridgroup/tinygo-tkey
TKey-1 is an open source, open hardware FPGA-based USB security token from the awesome team at Tillitis:
https://tillitis.se/
GitHubGitHub - hybridgroup/tinygo-tkey: Develop applications for the Tillitis TKey-1 an open source, open hardware FPGA-based USB security token using TinyGoDevelop applications for the Tillitis TKey-1 an open source, open hardware FPGA-based USB security token using TinyGo - hybridgroup/tinygo-tkey
Replied in thread
@andypiper If you find any more #riscv hardware that I absolutely don't need then please let me know ;-)
More projects run on Open Source Hardware ESP32-P4-DevKit EUR 16 board with Espressif Dual Core RISC-V SOC https://www.youtube.com/shorts/PqLHHtLoO7w #esp32 #iot #espressif #riscv
It’s official: RISC-V will be joining the Rocky Linux 10 architecture lineup!
This milestone wouldn’t be possible without the incredible work of the Fedora RISC-V community. We’ve built on their upstream-first foundation to bring riscv64gc into the Rocky family—alongside x86_64, aarch64, ppc64le, and s390x.
Big thanks to @fedora, @RISC-V International, and everyone helping push open hardware forward.
Read more: https://rockylinux.org/news/rockylinux-support-for-riscv
#RockyLinux #RISCV #Fedora #AltArch
rockylinux.orgRockyLinux Official Support for RISC-V in RL10! - Rocky LinuxRocky Linux is an open enterprise Operating System designed to be 100% bug-for-bug compatible with Enterprise Linux.
Alibaba Group Holding launched the server-grade XuanTie C930 processor, designed for high-performance computing applications, including data-centers and autonomous vehicles. The chip will begin shipping to clients this month.
The open-source RISC-V instruction set architecture used in the C930 chip is expected to broaden domestic use of open-source chips in China, countering US tech restrictions.
https://tech.yahoo.com/science/articles/alibabas-risc-v-chip-hits-093000410.html
Yahoo Tech · How Alibaba's new RISC-V chip hits the mark for China's tech self-sufficiency drive
Replied to Jean-Baptiste "JBQ" Quéru
@jbqueru and even then there are a lot of #distros that should be portable to #RISCv like @bunsenlabs / #BunsenLabs #Linux and #TinyCore.
I just don't have an #OrangePi #RV2 to target against...
https://www.youtube.com/watch?v=Mln2j3VxAos