El código abierto de los controladores del dispositivo y el BIOS serán liberados bajo la licencia Licencia MIT y la Licencia BSD.