<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2015-09-23 6:19 GMT-03:00 John Grigg <span dir="ltr"><<a href="mailto:possiblepaths2050@gmail.com" target="_blank">possiblepaths2050@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><p style="font-family:'PT Serif';margin:0px 0px 12px;padding:0px;border:0px;font-size:15px;vertical-align:baseline;color:rgb(51,51,51);line-height:1.4">"The kernel is the central core of any computer’s operating system. If hackers gain access to it, they can perform actions that are meant to be forbidden – like turning a mobile phone into a signal jammer, for example. Last year, Heiser’s team <a href="http://sel4.systems/Info/FAQ/proof.pml" style="margin:0px;padding:0px;border:0px;vertical-align:baseline;text-decoration:none;color:rgb(23,156,206)" target="_blank">proved mathematically</a> that their kernel is unhackable.</p></div></div></blockquote><div><br><br></div><div>behind the kernel we have hardware<br><br></div><div>in particular gsm subsystem, whit direct access to the comunication stream. <br><br></div><div>who knows what is hidden in it.<br><br><br></div><div> <br></div></div></div></div>