作为seL4基金会的战略合作伙伴以及RISC-V基金会成员,鉴释与基金会一起致力于seL4微内核的开发和优化,为国内系统厂商提供解决方案,以确保基于seL4的操作系统在RISC-V硬件上的安全高效运行。
凭借鉴释的全套开发工具链和解决方案,您可以更快地开发运行基于 seL4 操作系统的高质量产品,节约成本,并加速产品上市时间。
最大化性能
鉴释编译器可帮助您针对 RISC-V 硬件优化代码。它可以通过为 RISC-V 处理器生成最快和最小的代码来显著提高您的开发速度。鉴释编译器具有最好的基准测试分数,并且优于其他 RISC-V 编译器。
借助鉴释性能分析器解决方案,我们可以通过以下方式帮助您找到性能瓶颈:
- 热点函数和热点执行路径
- 按任务、函数和源代码行(包括汇编)的处理器执行时间
- 系统资源分配和竞争导致的性能问题
- 处理器流水线或访存导致的性能问题
提高生产率
鉴释的集成静态代码分析工具 – 爱科识具有行业标准支持,如 MISRA、AUTOSAR、CERT 以及我们的内置规则,用于强大的执行高质量、安全编码。
我们的 GDB 兼容的调试器解决方案可以帮助快速查明和解决基于 seL4 的操作系统的各个方面的可视化和调试问题,它支持:
- 内核和用户模式
- 多线程和多核
- 共享资源、锁和信号量分析