Giters

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Home Page:https://docs.sel4.systems/Tutorials

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

hello-2: Deprecated API

huynh91 opened this issue · comments

commented

seL4_GetBootInfo and simple_default_init_bootinfo are deprecated. hello-2 app won't compile.

Edit: The problem is that I used repo tool with sel4-tutorials.xml in sel4-tutorials-manifest. The manifest file configure the project for version seL4 version 3.2, not the current version.