Un tema pendiente para el sistema mkx86 es la selección de la licencia bajo la cual se va a distribuir.
Actualmente la versión disponible es la beta 1 (mkx86-0.1.0 y mkx86-0.1.1) y carece de licencia aparentemente. En realidad por usarse en un proyecto dentro de la UMSS si tiene la licencia academica que usan las universidades.
Por tal motivo la linea "beta 1" finaliza ahi... y sale la versión beta 2 mkx86-0.2.0 tan luego se tome la decisión de aplicar un nuevo modelo de licenciamento.
GPL vs BSD?
Por ahi va la cosa. Me tome unos minutos para entender los tipos de licenciamento para software libre y salí más mareado ;)
http://www.gnu.org/licenses/license-list.es.html
Encontré que la licencia GNU GPL seria muy restrictiva para este sistema con fines académicos pues exige que cualquier proyecto derivado del mismo sea licencie bajo GPL (el famoso virus GPL).
Por otro lado la licencia BSD permite mantener los derechos de autor pero una real libertad para distribuir los posibles productos derivados que salgan del mkx86 original. Incluso un usuario podrian ganarse unos pesos, por decir, vendiendo un mkx-PPC (para proc. Power PC) por 10.000$us. La licencia BSD lo permite! Yo también creo que lo permitiria pues esto demostraria que realmente este proyecto va cumpliendo su objetivo al se ser util a la comunidad informática.
http://es.wikipedia.org/wiki/Licencia_BSD
Saludos!
Palabras clave: BSD, GNU, GPL, Licencia, Microkernel, mkx86, Software Libre