Hi Deng, the picotcp project has now been pushed out, which should resolve one of your problems. I can now build the various projects.
However, these configurations are fairly specific to the CMA34CRD board from RTD --- https://www.rtd.com/PC104/CM/CMA34CR/CMA34CR.htm and will need adjustment to work on other hardware. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA) _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
