Negli smartphone, qual è il significato di codice sorgente del kernel?

Secondo Wikipedia,

Il kernel è un programma per computer che è il cuore del sistema operativo di un computer, con il controllo completo su tutto il sistema. Sulla maggior parte dei sistemi, è uno dei primi programmi caricati all'avvio (dopo il bootloader). Gestisce il resto dell'avvio così come le richieste di input/output dal software, traducendole in istruzioni di elaborazione dati per l'unità di elaborazione centrale. Gestisce la memoria e le periferiche come tastiere, monitor, stampanti e altoparlanti.

In parole semplici, il kernel interfaccia hardware e software.

Venendo alla domanda, gli smartphone Android sono alimentati dal kernel Linux. Il codice sorgente del kernel significa i codici (principalmente c e c++) che sono usati per compilare il kernel di Linux. Il kernel Linux utilizza la General Public License (GPL). La GPL secondo Wikipedia è,

La GNU General Public License (GNU GPL o GPL) è una licenza di software libero ampiamente utilizzata, che garantisce agli utenti finali la libertà di eseguire, studiare, condividere e modificare il software.

Ogni progetto che viene modificato da un progetto che utilizza una GPL dovrebbe essere reso opensource e libero. Così, i produttori di smartphone che usano il Kernel Linux per i loro smartphone dovrebbero rendere il loro Kernel opensource. Quindi rilasciano il codice sorgente del kernel che alimenta il sistema operativo Android del loro smartphone.