Dear Anisha, In message <CAM1yFZ-1YCqe6NdGKWtCSEAwqCnRqn1=1-5grgwy-qempoz...@mail.gmail.com> you wrote: > > I looked for the ARM9 board titled TS-7800 in the Embedded hardware > list of Xenomai here: > http://www.xenomai.org/index.php/Embedded_Device_Support#ARM > but couldn't find it. > > I am talking about this ARM9 board: > http://www.embeddedarm.com/products/arm-sbc.php#ts-7800-500mhz-series > > Is it there under some other name which I probably missed?
It is difficult or even impossible to make any statement about if a specific system is supported, or how much work would be needed to add such support, when there is no information available about such fundamental things like which exact SoC it uses, and which exact Linux kernel version it is running. The link you quote provides only very vague information like "using a Marvell 500MHz ARM9 SoC" (which can be anything) or "use a recent Linux kernel 2.6" (which means they are plain OLD - recent means v3.4 or later). This may be sufficient for marketing material, but not for answering technical questions. Do you have more details? Also, is it correct to assume that support for this board has never been pushed upstream, i. e. it is unsupported in mainline and all you can get is an out-of-tree vendor port? [eventually also with a non-standard vendor tool chain?] Best regards, Wolfgang Denk -- DENX Software Engineering GmbH, MD: Wolfgang Denk & Detlev Zundel HRB 165235 Munich, Office: Kirchenstr.5, D-82194 Groebenzell, Germany Phone: (+49)-8142-66989-10 Fax: (+49)-8142-66989-80 Email: w...@denx.de Real programmers don't comment their code. It was hard to write, it should be hard to understand. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org http://www.xenomai.org/mailman/listinfo/xenomai
