package ocaml-unikraft-arm64

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross compiler to the freestanding Unikraft arm64 backends

Install

dune-project

Dependency

github.com Edit opam file Versions (3)

Authors

S

Samuel Hym

Maintainers

S

samuel@tarides.com

Sources

v1.2.0.tar.gz

sha256=ca18a45ef86791d5ffa18436945fbec850b6f3dd68a6a62753b4cb1b6999b19a

doc/compiler-libs.bytecomp/Byterntm/index.html

Module `Byterntm`

Parser for RNTM in bytecode executables. Parses both the RNTM section and the shebang launcher produced by Bytelink.

type search_method =

| Disable of string
(*
Check fixed location only
*)
| Fallback of string
(*
Check given location first then fallback to searching for the interpreter
*)
| Enable
(*
Always search for the interpreter
*)

Search methods used by a tendered bytecode image to find a runtime.

val read_runtime : 
  Bytesections.section_table ->
  in_channel ->
  (string * Misc.RuntimeID.t option * search_method) option

Returns the runtime used by this tendered/standalone image. If the runtime used cannot be parsed, or the image was linked using -without-runtime, then None is returned.