Sodesnem
创建页面，内容为“{{In use}} {{NavBar|首页 > Linux 通述 > 红星 OS > 红星 OS 4.0}} '''红星 OS 4.0''' 是红星 OS 的未发布版本。针对此版本的开发最晚在 2017 年秋季就已启动。 在 2020 年夏季， 韩国媒体“朝鲜经济”（NK경제/NK經濟）宣称其得到了一份红星 OS 4.0 的副本，并发表多篇文章详细介绍其特征信息。<ref>[http://www.nkeconomy.com/news/articleView.html?idxno=3191 북한……”