[9fans] Re: [inferno-list] native inferno support for arm board



hi,

we have a small discussion on TS7200 in inferno-list and we are
wondering if linuxbios (or equivalent) is supported on the TS7200
platform? can ron or someone else tell us?

thanks
dharani
.