Power Developer https://powerdeveloper.org/forums/ |
|
L4 microkernek - It boots! https://powerdeveloper.org/forums/viewtopic.php?f=25&t=1321 |
Page 1 of 1 |
Author: | bbrv [ Thu Jul 19, 2007 6:57 am ] |
Post subject: | L4 microkernek - It boots! |
L4KA boots on the EFIKA. Details to come... We are looking for interested betatesters. R&B :) |
Author: | nixnut [ Thu Jul 19, 2007 7:29 am ] |
Post subject: | |
Wow! That is very interesting news. I'd like to hear more :) |
Author: | Leon [ Thu Jul 19, 2007 8:21 am ] |
Post subject: | |
I might give it a try, too :) |
Author: | ironfist [ Thu Jul 19, 2007 10:40 am ] |
Post subject: | |
L4KA? |
Author: | SoundSquare [ Thu Jul 19, 2007 11:50 am ] |
Post subject: | |
Quote: L4KA?
http://l4ka.org/ ;-)@bbrv i suppose you're talking about the PPC version of Pistachio ? |
Author: | mvdhoning [ Tue Oct 16, 2007 11:57 am ] |
Post subject: | |
i downloaded the PPC version of Pistachio, the binary release. The pingpong image goes booting the kernel and then nothing. I guess the usb keyboard is not detected and user input is expected. @bbrv: Did you get further using a later source release from cvs? |
Author: | bbrv [ Thu Oct 18, 2007 5:33 am ] |
Post subject: | |
We have not, but we are certainly willing to do what we can to assist any one that wants to try. We were unsuccessful in contacting the leaders of the project through the University in Kaiserslautern. R&B :) |
Author: | zylesea [ Thu Oct 18, 2007 5:48 am ] |
Post subject: | |
Quote: We have not, but we are certainly willing to do what we can to assist any one that wants to try.
Jan Stöß: stoess|at|ira.uka.de should work. Lecture time has just started in Germany on Monday. He should be reachable now.
We were unsuccessful in contacting the leaders of the project through the University in Kaiserslautern. R&B :) |
Author: | bbrv [ Sun Oct 21, 2007 7:24 am ] |
Post subject: | |
Ulrich, can you send him an introductory email in German. Please copy us and support@efika.de - thanks! mfg, R&B :) |
Page 1 of 1 | All times are UTC-06:00 |
Powered by phpBB® Forum Software © phpBB Group http://www.phpbb.com/ |