2016 5:40 AM
To: devel@sel4.systems
Subject: [seL4] CAmkES Groups
Hello,
I have been trying to get groups with CAmkES 2.2 working, but it doesn't look
like it will build correctly. At first, when I place components in a group, I
get that there is an unresolved reference to one of the compo
Hello,
I have been trying to get groups with CAmkES 2.2 working, but it doesn't look
like it will build correctly. At first, when I place components in a group, I
get that there is an unresolved reference to one of the components during
compilation.
I was able to get past this by moving the fu