Hi Michal,
I fixed it now (so that it compiles). The PicoTCP components didn't appear to be connected to the VM at all so I temporarily removed the VM from the CAmkES spec as it was polluting the serial output. Do you have a tardec platform to run the app on?
We do have CI but not for that particular config. We generally make sure that the CI for the seL4test/seL4bench/sel4-tutorials/camkes projects is always passing and will block broken changes from being pushed out to github until they are passing. But for less frequently used projects if upstream library changes cause them to stop building, the upstream changes will still get pushed out and therefore break the Github versions. Some projects have repo manifests that are tied to fixed released version numbers, but most just point to the tip of all of the repositories. Sometimes stuff will break. (Note: in this case with picotcp, I don't think that that configuration ever worked after being merged and it wasn't in regression). We currently don't have much CI running for the Tegra platform, at the moment we only check that the configurations compile.
Kind regards,
Kent McLeod
________________________________
From: Devel