L4Re/Fiasco.OC Patches

Current archive: L4Re-Fiasco.OC-patches-2020-06-06.tar.bz2

Initial archive: L4Re-Fiasco.OC-patches-2018-04-10.tar.bz2


These patches complete basic support in the L4 Runtime Environment and Fiasco.OC microkernel for the MIPS Creator CI20, Ben NanoNote and Letux 400. Additional fixes and adjustments are present for compilation using GCC on Debian platforms (sufficient for the CI20) and using a Buildroot-generated GCC (required for the Ben NanoNote and Letux 400, with soft-float support not being fully provided by the Debian toolchains).

The current archive provides only the essential support, with additional support for various peripherals being provided by a separate distribution of programs and libraries called Landfall.

The initial archive provides both essential and peripheral support in order to demonstrate a functioning system on the different hardware platforms. However, working with patches to provide additional functionality is not an efficient activity and future effort will be directed towards Landfall as a means of delivering such functionality.

The Spectrum example on the Ben NanoNote and Letux 400


From the README.txt file provided:

ci20-fiasco.diffFix to provide the rdhrw instruction
ci20-gcc-debian-fiasco.diffDebian GCC cross-compiler prefix usage
ci20-gcc-debian-l4re.diffDebian GCC cross-compiler prefix usage
ci20-platform.diffAdditional CI20 platform details
ci20-uart0.diffFix for output via UART0 instead of UART4
conf-makeconf-boot.diffPath definitions for L4Re building
ingenic-mips-fbdrv.diffSupport for LCD devices in fb-drv
l4util-mips-thread.diffFix for static thread functions
letux400-fbdrv.diffLetux 400 framebuffer driver support
mips-gcc-cpload.diffFix to allow GCC-generated code to work
ned-log-cap.diffSupport for specifying log capabilities
no-at.diffFix for Debian i386 architecture building
qi_lb60-fbdrv.diffBen NanoNote framebuffer driver support
qi_lb60-fiasco.diffBen NanoNote kernel support
qi_lb60-gcc-buildroot-fiasco.diffBuildroot GCC cross-compiler prefix usage
qi_lb60-gcc-buildroot-l4re.diffBuildroot GCC cross-compiler prefix usage
qi_lb60-l4re.diffBen NanoNote architecture support
qi_lb60-platform.diffBen NanoNote platform support

Patches made against upstream repository version r78.


The information below describes the status of device support with the current archive when used together with the Landfall distribution.


Ben NanoNote and Letux 400

Copyright and Licence

These patches are subject to copyright. L4Re and Fiasco.OC are mostly licensed under the GPL version 2. Please see the patched files and the patches themselves for more information about specific licences likely to apply to these patches.