website·Indexed 32 days ago
https://rcore-os.cn/tgoskits/Development kits and architectural documentation for the rCore-OS ecosystem, supporting StarryOS, ArceOS, and Axvisor. It covers hardware integration for RK3588, SG2002, and K230, memory management, driver layering (USB, Network), and a comprehensive build system using cargo xtask for QEMU and board-level testing.
arm-scmi-rs component provides an implementation of the ARM SCMI (System Control and Management Interface) protocol specifically designed for no_std embedded environments. It is categorized as a device driver and is located in the drivers/firmware/arm-scmi-rs source directory.apps/backtrace directory in TGOSKits provides a runnable guide and set of demos for backtrace support. It is designed for contributors and reviewers to configure environments, build StarryOS/ArceOS, run backtrace demos, enable backtrace support in other programs, and verify the functionality of different backtrace modes.memory_set component (version 0.8.0) provides data structures and operations for managing memory mappings. It is categorized under Memory Management and is licensed under Apache-2.0. The source code is located in the memory/memory_set directory.The kasm-aarch64 component provides AArch64-specific assembly macros designed for kernel development. It is categorized as a base component (基础组件) and is used within the arceoskernel context.
components/kasm-aarch64rockchip-soc driver is a Rockchip SoC driver located in the drivers/soc/rockchip/rockchip-soc directory. It provides core SoC functionality including the Clock Reset Unit (CRU), power manager, and pinctrl. It is categorized as a device driver, version 0.4.8, and is licensed under MIT.drivers/net/aic8800 directory. It is currently at version 0.3.3 and is licensed under Apache-2.0.rdif-timer component provides the Driver Interface for the system timer within the osdriver category. It is located in the drivers/interface/rdif-timer source directory, is currently at version 0.6.6, and is released under the MIT license.osrockchippowerdriver is a device driver designed for the Rockchip Power Management Unit (PMU), providing support for RK3588 and similar SoCs. It is located in the drivers/soc/rockchip/rockchip-pm source directory and is released under the MIT license (version 0.4.10).The crab-usb driver separates host management, device enumeration, and controller transport. It utilizes an asynchronous request model where calls can wait for device events without necessarily creating a new OS task for every Transfer Request Block (TRB).
Key components include:
USBHost: Holds the backend object and provides interfaces for initialization, device change queries, and event handling.Core: Manages the hub topology reused across controllers.PlatformUsbHost: Associates USBHost with BindingInfo and forwards DMA allocation, mapping, and synchronization via UsbKernel.axlog component (version 0.6.1) provides macros for multi-level formatted logging within the ArceOS ecosystem. It is licensed under Apache-2.0 and is located in the os/arceos/modules/axlog source directory.