3 Commits

Author	SHA1	Message	Date
Jan Čermák	6ff8634fdb	Refer to GRUB instead of Barebox in HAOS docs (#2241) ... Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>	2024-07-08 12:55:13 +02:00
Stefan Agner	020a41fd18	Extend OS development docs (#1075) ... * Add Operating System developer documentation This moves some of the existing documentation from the operating-system repository, updates it to reflect the current state and extens certain parts. * Reword and add deployment documentation * Add new pages to Sidebar * Reword and extend various aspects * Small fixes here and there * Clarify builds	2021-10-18 14:00:25 +02:00
Franck Nijhof	c802bbef97	Move supervisor & os docs (#521)	2020-05-12 20:35:01 +02:00