Astrobe is a complete integrated embedded Oberon software rapid development system running.
Use it to develop reliable embedded software to run on the powerful Arm Cortex-M families of microcontrollers.
This includes RP2040 (Cortex-M0+) / RP2350 (Cortex-M33) devices from Raspberry Pi and Cortex-M0/M0+, M3, M4 and M7 devices from STMicroelectronics.
I don't have a RISK-V laptop, but I do use an ARM Linux laptop as my private laptop. Even after about 10 years you still find quite a lot of software that is not distributed (in binary) for ARM. Sometimes you can compile it yourself, sometimes it's just not possible for a normal user.
So check if what you see as minimum requirements is possible right now, and see that you are clear how to get it. If your requirements are met now, then it can only be better in the future.