Great, thanks to all the hard workers.
But, the Config process seems to be broken, a little bit.
I try to build for a Zynq ZedBoard.
Doing: $ make setup $ make
there is no chance to select 'zedboard' or 'zynq'.
Anyway, after '$ make setup', i manually changed obj/fiasco/arm-mp-rv-a9-vexpress/globalconfig.out to my needing (CONFIG_PF_ZYNQ=y, CONFIG_BSP_NAME="zynq"). Although, i guess there is still something wrong. Because, the output of '$ make' says "=== Updating RAM_BASE for platform rv_vexpress to 0x60000000 ===" which is not corresponding to 'src/l4/mk/platforms/zynq.conf'. Maybe, there is a mash up with CONFIG_BSP_NAME 'zynq' and platform name 'zedboard'.
Anybody know how to fix this?
Greetings, ba_f
Am 2015-12-31 16:53, schrieb Adam Lackorzynski:
Hi,
After a longer break I'm pleased to announce an update of the L4Re system software.
Besides bug fixes and enhancements, noteworthy changes and additions of this update include:
All:
- LLVM/Clang: Fiasco.OC is supported with Clang now, for the userland we're nearly there
- Updates for recent GCC versions
- CROSS_COMPILE is the preferred way to set the compiler prefix now
- URLs have been consolidated to be under the l4re.org domain but old ones will remain to work for a foreseeable future.
L4Re:
- Package reorganization: Core packages have been moved to a more hierarchical structure, e.g. l4re-core and io
- New RPC framework using C++ that generates client and server side code from a single definition, code and examples have been adapted accordingly
- Software updates, e.g. libstdc++, lua, libpng, libjpeg, lwip
- New L4Re::Dma_space interface to support DMA and IOMMUs
- io gained support for IOMMUs and MSI remapping
- Virtio library to support the development of virtio host applications
- Documentation improvements: https://l4re.org/doc/
Fiasco.OC:
- IOMMU support, including MSI remapping (currently VT-d)
- Clang support
L4Linux:
- Added x86-64 variant
- Updated to version Linux 4.3
- MSI / MSI-X support
Happy new year, Adam
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers