Crate kona_std_fpvm

kona-std-fpvm

Platform specific Fault Proof VM kernel APIs.

Modules

errors

Errors for the kona-std-fpvm crate.

io

This module contains the ClientIO struct, which is a system call interface for the kernel.

malloc

This module contains an implementation of a basic memory allocator for client programs in running on an embedded device.

Macros

alloc_heap

Initialize heap memory for the client program with the given size.

Structs

FileChannel

FileChannel is a handle for one end of a bidirectional channel.

Enums

FileDescriptor

File descriptors available to the client within the FPVM kernel.

Traits

BasicKernelInterface

The BasicKernelInterface trait describes the functionality of several core system calls inside of the kernel.