Hi!

I am about to port netbsd to a portable gameconsle, GP32 by Gamepark.
It's based around a samsung S3C2400X. It looks like there haven't been
any port to  the 2400, just the 2410 and 2800? I couldn't figure out the
best start point, I started in evbarm using the smd2410 and generate
2400 specific machdep etc. What is goal to have hpcarm evbarm and arm ?

Is there a better startingpoint for a proper initarm() then the one in
evbarm/smdk2xx0/smdk2410_machdep.c?