Re: [seL4] Beaglebone black/CAmkES issue