2022年8月29日，中国杭州——近日，专注于RISC-V架构高性能芯片的半导体创新企业进迭时空宣布正式加入Linux基金会和seL4基金会，这是继公司加入RISC-V基金会后的又一里程碑。 

自2021年成立以来，进迭时空迅速布局RISC-V处理器芯片及软件系统开发，彰显其在大力开发RISC-V为基础的软硬件全栈技术方案的信心和决心。 

在芯片设计开发基础之上，进迭时空同时专注于软件系统及其应用生态开发，以Linux系统为基础，构建RISC-V架构芯片的操作系统及SDK，为广大RISC-V应用生态开发者提供强大的一体式开发环境，提高RISC-V开发效率。加入Linux基金会，进迭时空将加深与基金会及合作伙伴的技术合作，提升Linux对RISC-V硬件的支持，进一步推动RISC-V生态的快速发展。 

seL4 微内核是世界上第一个被形式化验证证明的安全的操作系统微内核。它在RISC-V处理器上的全面证明仍然是独一无二的。它也是开源的、免费使用的性能基准，并得到seL4 基金会的支持。加入seL4基金会，进迭时空将与基金会紧密合作，除了推动RISC-V+seL4产品化之外，同时还将关注操作系统的安全和性能，增强开发者对RISC-V架构的安全信任。 

“RISC-V生态的发展离不开软件系统的支持，”进迭时空创始人兼首席执行官陈志坚博士说到：“进迭时空集合了一批在国内乃至全球范围深耕RISC-V数年的硬件及软件技术开发团队，我们致力于服务广大RISC-V开发者，将围绕RISC-V的研发技术提升一个新高度”。

关于进迭时空 

进迭时空是一家专注于研发新一代架构更简化、算力更强大、性能更优秀的RISC-V架构芯片的半导体创新企业，总部位于杭州，在珠海、上海以及北京拥有办公室。秉承不停向前迭代、具有生命力、追求卓越的创业精神，公司致力于构建“云——边——端”架构原生一体的下一个计算时代。