Mini написана на Java, и ядро там другое - весь трафик проходит через Opera'вский прокси и приходит в понятном Mini формате (даже JS обрабатываются сервером). А вот версии для WinMobile/Win32/Linux/Mac и, наверное, для встроенных систем - на одном ядре, и написаны на кроссплатформенном C++/Qt. А вот насчет Symbian не знаю.
А так - лабудень какая-то.