Skip to content

Docs/specialize micofe - #1

Merged
daniel-rossier merged 3 commits into
mainfrom
docs/specialize-micofe
Jun 1, 2026
Merged

Docs/specialize micofe#1
daniel-rossier merged 3 commits into
mainfrom
docs/specialize-micofe

Conversation

@daniel-rossier

Copy link
Copy Markdown
Contributor

Alignement of the documentation with the technical report.

Daniel Rossierand others added 3 commits June 1, 2026 17:14
Refocus the documentation solely on MICOFE and drop the Infrabase /
EDGEMTech material.
- Move the MICOFE section (micofe, emiso, portainer, syscalls_alignment)
to the doc source root and rework index.rst as a MICOFE landing page.
- Consolidate all images, including the .drawio source, into
doc/source/img/; update figure paths accordingly.
- Remove Infrabase-specific chapters (introduction, user_guide, dev_flow,
coding_conventions, build_system, rootfs, base_extension) and the
Infrabase/EDGEMTech images; keep the glossary.
- Rebrand conf.py (project, copyright, LaTeX/man targets) to MICOFE and
drop the now-unused PlantUML extension.
- Replace the GitLab CI (edgem-build image) with a GitHub Actions
workflow that builds the docs and deploys to GitHub Pages; unignore
.github so workflows are tracked.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@daniel-rossier