# Sabre Lite i.MX6 PicoTCP failing

**URL:** https://sel4.discourse.group/t/sabre-lite-i-mx6-picotcp-failing/212
**Category:** seL4 kernel
**Created:** [September 22, 2020, 5:47pm UTC](https://sel4.discourse.group/t/sabre-lite-i-mx6-picotcp-failing/212 "2020-09-22T17:47:14Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![shaebottum](https://avatars.discourse-cdn.com/v4/letter/s/ad7895/32.png) [@shaebottum](https://sel4.discourse.group/u/shaebottum)
#### Post date: [September 22, 2020, 5:47pm UTC](https://sel4.discourse.group/t/sabre-lite-i-mx6-picotcp-failing/212/1 "2020-09-22T17:47:14Z")

</div>

Using CAmkES and targetting sabre i.MX6 - i can quite easily build many of the default applications and run them. My build fails when i attempt to build the picoserver application. Is there verification that the CAmkES build targeting sabre successfully builds any PicoTCP application?