Re: [seL4] CAmkES Groups

2016-10-18 Thread Stephen.Sherratt
f Robert VanVossen <robert.vanvos...@dornerworks.com> Sent: Wednesday, 19 October 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 g

[seL4] CAmkES Groups

2016-10-18 Thread Robert VanVossen
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