я узнал, что есть ядро Linux поддерживающее win32 где его скачать, и есть ли сложности с его установкой?