Gongqi Huang

Initial Support for Multicore Tock

3

### Pull Request Overview This pull request provides the initial support for multicore Tock and a prototype for a two-core QEMU RISC-V SMP configuration under `boards/`. The design adopts the...

Problem: Existing SoC doesn't support mapping a bus to a set of SoC regions. Adding two regions to a single bus will results in a race condition (multiple unconditional assignments...

Upstream `nixpkgs` currently maintains all Typst packages from Typst Universe registry, including their hashes and dependencies. This PR adds support for reusing existing Typst packages from `nixpkgs`. For these packages,...