mirror of
https://github.com/olofk/serv.git
synced 2025-04-18 19:14:53 -04:00
1b06ae6033
Some checks are pending
Run compliance test suite / RISC-V Compliance Test (push) Waiting to run
Formal verification / Run RISCV-formal verification suite (push) Waiting to run
Run linter / Linter (push) Waiting to run
Build GDS using OpenLANE and sky130 PDK / build-openlane-sky130 (push) Waiting to run
9 lines
212 B
YAML
9 lines
212 B
YAML
manifest:
|
|
remotes:
|
|
- name: zephyrproject-rtos
|
|
url-base: https://github.com/zephyrproject-rtos
|
|
projects:
|
|
- name: zephyr
|
|
remote: zephyrproject-rtos
|
|
revision: v4.0.0
|
|
import: true
|