Barrapunto

Vale, si yo lo de si es microkernel o macrokernel me trae al fresco :-) Cada cual tiene sus pros y sus contras. Lo que no existe en ninguno de los dos casos es compatibilidad de binarios entre distintas plataformas. No hay más remedio que recompilar y tener binarios independientes para cada una de las plataformas. Si luego tienes un empaquetado que facilita la distribución y el manejo de estos binarios (como yo decía en el primer mensaje) pues mejor que mejor.