Genkernel es capaz de construir los núcleos para las siguientes plataformas: