2022年8月29日 浏览:134 作者: 进迭时空

进迭时空宣布加入Linux基金会和seL4基金会,助力RISC-V软件系统发展

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架构芯片的半导体创新企业,总部位于杭州,在珠海、上海以及北京拥有办公室。秉承不停向前迭代、具有生命力、追求卓越的创业精神,公司致力于构建“云——边——端”架构原生一体的下一个计算时代。