Once you get a fully working OR1k board working, are you going to be selling it? I'd possibly like to get one for use with porting Linux and maybe even doing my own OS on it. Sincerely, Joshua Shriver