>Limited to serial console, then, or do we have some kind of of-based text >console driver available? Currently only ATY,mach64 works as a console. The ofw driver is not available yet because OF_open(".../display card") hangs... :-(