Skip to main content
Kona seeks to support all FPVM targets that LLVM and rustc can offer introductory support for. Below is a matrix of features that Kona offers for each FPVM target:
TargetBuild PipelineIOmalloc
cannon & cannon-rs✅✅✅
asterisc✅✅✅
If there is a feature that you would like to see supported, please open an issue or consider contributing!

​
Asterisc (RISC-V)

Asterisc is based off of the rv64gc target architecture, which defines the following extensions:
  • RV32I support - 32 bit base instruction set
    • FENCE, ECALL, EBREAK are hardwired to implement a minimal subset of systemcalls of the linux kernel
      • Work in progress. All syscalls used by the Golang risc64 runtime.
  • RV64I support
  • RV32M+RV64M: Multiplication support
  • RV32A+RV64A: Atomics support
  • RV{32,64}{D,F,Q}: no-op: No floating points support (since no IEEE754 determinism with rounding modes etc., nor worth the complexity)
  • Zifencei: FENCE.I no-op: No need for FENCE.I
  • Zicsr: no-op: some support for Control-and-status registers may come later though.
  • Ztso: no-op: no need for Total Store Ordering
  • other: revert with error code on unrecognized instructions
asterisc supports a plethora of syscalls, documented in the repository. kona offers an interface for programs to directly invoke a select few syscalls:
  1. EXIT - Terminate the process with the provided exit code.
  2. WRITE - Write the passed buffer to the passed file descriptor.
  3. READ - Read the specified number of bytes from the passed file descriptor.

​
Cannon (MIPS64r2)

Cannon is based off of the mips64r2 target architecture, specified in MIPS® Architecture For Programmers Volume II-A: The MIPS64® Instruction Set Reference Manual

​
Syscalls

Syscalls supported by cannon can be found within the cannon specification here.