Гайд на сборку OpenVela для STM32 из-под WSL от 16-летнего отрока

В этой статье мы соберем ОСРВ OpenVela от Xiaomi под отладочную плату STM32 F411CEU6, используя WSL, который официально вроде как не поддерживается. Эта ОС базирована на Apache Nuttx и имеет много фич от Xiaomi, включая HyperConnect. В комплекте также небольшая предыстория от автора. Цум Интрестинг

https://habr.com/ru/articles/934372/

#Apache #Nuttx #осрв #rtos #xiaomi #linux #stm32 #stm32f4

@ljs @vbabka Thanks to both. Yes, I remember to read about new/concurrent/RCU friendly VMA tree at #lwn some time ago, I try fit more letters in the triangle, on the other hand R-B tree is something which students know… but showing maple can be motivation to search for more modern data structures in their future projects, I mention user-space RCU, cuckoo hashing from Knot DNS as well as others.

Good catch, it seems to have gone in 4.17 kernel, when it has been renamed to

and it has been changed to struct xarray in 4.20. So this is evolution.

So it should be updated to be modern.

VPFN (virtual page frame number) and physical (P)PFN is used by me to distinguish what is view and meaning of address bits before and after MMU translation. It highlights that translation cares only about page sized frames no full addresses. It seems that it is not only mine local invention - used even on WikiBooks/The_Linux_Kernel/Memory.

The goal is to provide mainly an overall picture not details to start hacking and contributions to the kernel so if it is “roughly” appropriate is important. But if some students are attracted to contribute to Linux it would be great outcome. We have more students contributing to #NuttX which is lower bar for starting. But some have contributed drivers to Linux as well.

Summer 2025 #cvut defended theses by OTREES / “my” students:

• Matyáš Bobek, FlexCAN Controller Emulation for QEMU, #qemu #canbus (git), I hope for mainlining soon, my thanks to
  @marckleinebudde for review
• Albert Bezděk, Stereo Camera FPGA Interface and Processing for Zynq Based Systems, with initial rectification and disparity in #XilinX #Zynq #FPGA (git), thank to Martin Meloun for review
• Michal Matiáš, NuttX RTOS Driver for Single Unshielded Twisted Pair Communication, working with ncv7410 and ESP32-C6 for now (nuttx, apps git), continues by #GSoC expected to lead to broader OpenAlliance SPI Ethernet MAC-PHY T1S for mainline #NuttX support after summer, thanks to @cynerd for review

See the last OTREES theses list for link to repositories and more

Another related theses from #cvut Faculty of Information Technologies mentored by Michal Štepanovský to mention:

• Jan Medek, Implementation of RISC-V soft-core processor on FPGA board with real-time operating system support, port (git) of #NuttX to the own setup of Ibex #riscv to Digilent Basys 3 and Digilent Nexys Video, includes even #NuttX, #RTEMS, #Zephyr, #FreeRTOS and RT-Thread choice analysis, some minor clarifications in my review, out of the text documentation, the student ported NuttX even to the CPU system prepared in frame of the next thesis
• Ondřej Golasowski, RISC-V open-source microarchitecture analysis and optimization, the VESP-BETA single-cycle RV32IMZicsr #riscv design for basic #comparch education with #FPGA labs

Stay tuned next summer as well, there is student interested in thesis to add MMU to #QtRvSim

#Avaota-A1 #Arm64 SBC is officially supported by Apache #NuttX RTOS (#Allwinner A527 SoC) ... Let's take #Unicorn Emulator and create a Software Emulator for Avaota SBC

https://lupyuen.org/articles/unicorn4.html

🤔 "Explain how #NuttX boots"

Source: https://docs.google.com/document/d/1qYkBu3ca3o5BXdwtUpe0EirMv9PpMOdmf7QBnqGFJkA/edit?tab=t.0

Life Without GitHub: What's it like? Let's talk about #Forgejo Git Forge ... And whether Apache #NuttX RTOS could possibly coexist with GitHub and our own Git Forge

Article: https://lupyuen.org/articles/forgejo.html