By -

Formal Verification Might be Built-in Linux Kernel in the Future, Message from Linux Foundation

Formal Verification Might be Built-in Linux Kernel in the Future.If what Jim said in his plan could be implemented successfully, the security level of lightweight isolation such as Docker would be comparable to traditional virtualization, to which the improvement of Linux kernel security would not only benefit the development of cloud computing and container of...

Android

不容错过的安卓 x86 6.0-r3 发布

| | 0 Comments

Android-x86 项目已经宣布对该项目的 x86 平台的 Android 6.0 “棉花糖”进行了第三次更新。新版本能够自动挂载光学介质,修复了 VMware 虚拟机中运行的问题,而且将 Linux 内核升级到 4.4.62 版本。这是 Android-x86 6.0 ( marshmallow-x86 ) 的第三个稳定版本,相对于 6.0-r2,该版本为我们带来了许多更新、新特性。...

柴米油盐计划

Github 上建立 FrosPlan Repository

| | 0 Comments

Linux Story 柴米油盐计划( Fros-Plan )已经运行一年多了,但实际上我们很多材料与规范只是存在于大家的默契中,并没有完全固定下来。最近刚好放假,终于得空把以前遇到的问题和收获的经验一起写下来,分享给团队里的同学以及开源爱好者们。可以通过[任意门](https://github.com/LinuxStory/FrosPlan)前往,欢迎加星和 watching 。...