Hi, I got hold of a machine using this chip and I'd like to get NetBSD working on it. The website states that this should already work. Is this true and if how do I make it work ? I guess it might be a problem getting this thing to boot NetBSD. I don't know if this thing is using ofw. And then, how to get a kernel into its flash ? regards Tobias