:computer-user: Thanks!! Now I've printed a lot of information about microkernels, L4 and L4Linux.. In this research, assigned by my university professor, I've to study differences between L4 and eCos and I'll do some benchmarks like LMBench, HBench and NetPerf.. even if I found those not comparable because the different nature of both.. but, however, I'll do that!
Still thanks.. I'll post new informations if I'll encounter problems.. :)