- C 67.4%
- C++ 25.6%
- Makefile 3.8%
- Tcl 1.3%
- Assembly 1.2%
- Other 0.7%
| board | sculpt: enable basic support for imx8mp_armstone | |
| lib | hw: unify Core::Vm_session_component | |
| patches | run/image: tool to build armstone sd-card image | |
| ports | run/image: tool to build armstone sd-card image | |
| recipes | depot: update recipe hashes | |
| run | use 'assert'-proc in run scripts | |
| sculpt | sculpt: update Falkon preset for Sculpt 25.10 | |
| src | nic/stmmac: minor cleanup | |
| tool/run/image | run/image: tool to build armstone sd-card image | |
| .gitignore | Add LICENSE, .gitignore | |
| LICENSE | Add LICENSE, .gitignore | |
| README.md | Update README with Codeberg URL | |
Genode support for i.MX SoC based boards
This repository complements the Genode OS framework (https://genode.org) with the board support needed to use Genode on devices based on SoCs of the i.MX family.
To use it, you first need to obtain a clone of Genode:
! git clone https://github.com/genodelabs/genode.git genode
Now, clone the genode-imx.git repository to genode/repos/imx:
! git clone https://codeberg.org/genodelabs/genode-imx.git genode/repos/imx
For enabling the board support, adjust the build-directory configuration etc/build.conf by adding the following line to the 'REPOSITORIES' definitions.
! REPOSITORIES += $(GENODE_DIR)/repos/imx
License
Genode-specific code is provided under Genode's regular open-source license, which is AGPLv3 + open-source linking exception. This code is also available under a commercial license offered by Genode Labs.
For code ported from other projects - e.g., device drivers ported from the Linux kernel - the license of the originating upstream project applies.
Please refer to the individual file headers for detailed information.