As a strategic partner of the seL4 Foundation and a member of the RISC-V Foundation, Xcalibyte works on developing and optimizing the seL4 microkernel, providing solutions for system vendors and ensuring the safe and efficient operation of seL4-based operating systems on RISC-V hardware.

With Xcalibyte’s full suite of development toolchains and solutions, you can develop high-quality products running seL4-based operating systems that run faster, save costs and accelerate time-to-market.

Maximize performance

Xcalcompile helps you optimize your code for RISC-V hardware. Xcalcompile has the best benchmark test scores and outperforms other RISC-V compilers.

Xcalibyte’s analysis solutions help you find performance bottlenecks through:

  • Hot functions and hot execution paths
  • Processor execution time by task, function and source code line (including assembly)
  • Identifying performance issues due to system resource allocation and contention
  • Identifying performance issues due to processor pipelining or memory access

Productivity improvements

Xcalscan is our integrated static code analysis tool and features industry-standard support such as MISRA, AUTOSAR and CERT and contains our built-in rules for robust execution of high-quality secure coding.

Our GDB-compatible debugger solution helps quickly identify and solve visualization and debugging problems for all aspects of seL4-based operating systems. It also supports:

  • Kernel and user modes
  • Multi-thread and multi-core
  • Shared resource, lock and semaphore analysis


SoC Manufacturer

As an application processor manufacturer developing high-performance IoT devices and wireless interconnect chips, this company markets a wide range of innovative hardware including smart home devices, consumer electronics, HD media, smart video, automotive electronics, industrial controls and AIOT products.

Read the Case Study

UISEE – Autonomous Vehicles

UISEE focuses on creating future-oriented mobility and logistics solutions. Using AI, they help to reshape the way people live in an eco-friendly urban lifestyle, through utility, safety and inclusive experiences.

Read the Case Study

HISENSE – Smart Home Appliances

Juhaolian is a subsidiary of Hisense, known for smart home appliances, electronic equipment and intelligent information systems. Juhaolian is at the heart of Hisense smart home solutions by providing communication technologies...

Read the Case Study


Contact Us

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy