Hi all I'm doing a review of options for virtualization in Linux. From the documentation, it seems that L4Linux is a complete port of the Linux Kernel. I'm wondering if there is a patch (or series of patches) that could be used to modify an standard Linux kernel and make it compatible with the L4 virtualization? The question comes from my scenario: I need to deploy a customized linux kernel and want to do so over L4. This kernel is build from the standard kernel applying some patches. I would like to do the same with L4Linux, so the resulting kernel has my patches plus L4. Is this feasible? has been tested? thanks in advance and please consider I'm new to L4Linux. Regards -- ======================================================================== 0 0 0 Pablo Chacin | Dept. d'Arquitectura de Computadors 0 0 0 e-mail: pchacin@ac.upc.edu | UPC-Campus Nord. Modul D6-212 0 0 0 phone: +34 +93 405 4059 | Jordi Girona, 1-3 U P C fax: +34 +93 401 7055 | 08034 Barcelona - SPAIN www: http://personals.ac.upc.es/pchacin ========================================================================