Ubuntu Desktop 19.10

packages are still 后面的字呢？ (postgres)

世界上首个被数学证明安全的操作系统微内核 seL4 成立基金会

Linux 基金会正在与澳大利亚国家科学机构 CSIRO 合作，打造 seL4 操作系统微内核生态。近日 Linux 基金会宣布托管 seL4 基金会，该基金会以澳大利亚国家科学机构 CSIRO 的数字机构Data61 创建的 seL4操作系统微内核为基础项目。
seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。
基金会创始成员包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber 与 UNSW Sydney。
seL4 是 L4 微内核家族的成员，它为系统中运行的应用之间的隔离提供了最高级别保障，可以遏制系统某一部分的危害，并防止损害系统中其它可能更关键的部分。
据介绍，seL4 是世界上第一个通过数学方法被证明安全的操作系统内核，并且它还强调高性能，是世界上最快、最先进的 OS 微内核。它对于嵌入式计算系统的安全可信赖方面将会有极大意义，具体来看可能影响到航空电子、自动驾驶汽车、医疗设备、关键基础设施与国防等行业。理论上，SeL4 可以用作 Linux 和其它类 Unix 操作系统的底层基础，甚至此前曾被考虑用于 GNU/Linux “真内核” GNU Hurd。

PC版：https://www.cnbeta.com/articles/soft/964885.htm
手机版：https://m.cnbeta.com/view/964885.htm

GUN/Linux马上就不能笑Android了？

你可能是 Unicode 宽度二义性的受害者

Linux 5.6.2，bnx2x会跟r8169打架。两者同时进行大流量传输就会造成前者的网卡固件挂掉，并且 CPU soft lockup。回退到5.5.8无此问题。

OpenSSL 曝出一个高危漏洞

OpenSSL 项目发布安全公告，披露了一个影响 OpenSSL v1.1.1d、1.1.1e 和 1.1.1f 的高危漏洞。该漏洞可被用于发动拒绝服务攻击。开发者称，在 TLS 1.3 握手期间或之后调用 SSL_check_chain() 函数的服务器或客户端应用可能会发生崩溃，原因是不正确处理 signature_algorithms_cert 扩展导致的空指针引用。受影响的 OpenSSL 1.1.1 版本需要尽可能快的升级到 1.1.1g。该漏洞是 Bernd Edlinger 发现的，他在 4 月 7 日报告给 OpenSSL 项目。两周内释出补丁称得上很迅速了。Media

https://www.solidot.org/story?sid=64184

不仅有两个，而且每个都能点（（（

连接设备之后：

双倍的快乐.jpg

我也有双倍的快乐了🌚

https://news.1rj.ru/str/KernelScared/335
滚到 sid 去了，这个“人造太阳”的bug也被修掉了
PS: 我的键盘背光只有两级

啊，右边的 Tab 没有标题了（
我就跑了个 vim（

道理都懂，为什么窗口要那么大

我觉得应该是M$和Google的锅，但总之两边都投一个吧