L4Ka::Pistachio is built from ground up incorporating the research results of the last seven years of microkernel and multi-server research. The code is written in C++ with a strong focus on performance and portability. The current release includes many of today's widely used commodity architectures:
x86-x64 (AMD64/EM64T, K9 / P4 and higher)
x86-x32 (IA32, Pentium and higher)
PowerPC 32bit (IBM 440, AMCC Ebony / Blue Gene P)
The variety of supported architctures makes L4Ka::Pistachio an ideal research and development platform for a wide variety of systems.
Je me dis que Google est vraiment très fort, ils vont développer L4 pour ARM.
Verra-t-on un jour le projet GNU aboutir dans nos PC ?
# ARM ?
Posté par houra . En réponse à la dépêche Android abandonne le noyau Linux. Évalué à 4.
parce que quand je lis :
Je me dis que Google est vraiment très fort, ils vont développer L4 pour ARM.
Verra-t-on un jour le projet GNU aboutir dans nos PC ?
Sedullus dux et princeps Lemovicum occiditur