Hi, I've created the branch lp:~bengal/helenos/raspberrypi which includes a very basic support for the Raspberry Pi.
The produced image can be booted directly from the Raspberry Pi GPU bootloader copying the image on the SD as kernel.img, the kernel starts, kconsole works and userspace process are spawned. However it's not possible to access the shell on serial yet. The UART driver was copied from ARM926 with minor changes and I think that we should evaluate if it's possible to merge the two. The next steps should consists in improving some parts (like interrupts handling and system timer), cleaning the code and in the future maybe adding support for USB, ethernet or external display. Please let me know if you have any comments, suggestions or feedback. Beniamino _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/cgi-bin/listinfo/helenos-devel
