On Wed, 9 Aug 2006, Sebastian Jaekel wrote:
> Can you point me to some further information getting things up and
> running? Is there a even a port available or do i need to do it
> by myself? I think i am not very familiar porting NetBSD to different
> archtitectures so any helpful links would be appreciated.

Have a look at src/sys/arch/evbarm/ixdp425 and 
src/sys/arch/evbarm/conf/IXDP425.

Getting a kernel going could be as easy as

 	build.sh -m evbarm tools kernel=IXDP425

(untested!)


  - Hubert