Skip to content

Document missing tutorial dependencies#122

Open
praneelmalapaka wants to merge 1 commit into
seL4:masterfrom
praneelmalapaka:docs/tutorial-missing-deps
Open

Document missing tutorial dependencies#122
praneelmalapaka wants to merge 1 commit into
seL4:masterfrom
praneelmalapaka:docs/tutorial-missing-deps

Conversation

@praneelmalapaka

Copy link
Copy Markdown

This adds troubleshooting notes for two missing host tools that can appear while building the tutorials:

  • xmllint, provided by libxml2-utils
  • Haskell stack, provided by haskell-stack

These errors can occur while generating syscall headers and while building capDL-tool/parse-capDL.

I encountered these while building the hello-world and ipc tutorials and added the notes to help new users diagnose the issue more quickly.

Signed-off-by: Praneel Malapaka <z5448041@ad.unsw.edu.au>
@lsf37

lsf37 commented Jul 3, 2026

Copy link
Copy Markdown
Member

Hi @praneelmalapaka, thanks for that. Can you point us to which host install instructions you were following? We should update the information there instead of trying to anticipate what could go wrong here instead.

Sign up for free to 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.

2 participants