package picos

You can search for identifiers within the package.

in-package search v0.2.0

Pico scheduler interface

Install

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (5)

Authors

V

Vesa Karvonen <vesa.a.j.k@gmail.com>

Maintainers

V

Vesa Karvonen <vesa.a.j.k@gmail.com>

Sources

picos-0.5.0.tbz

sha256=862d61383e2df93a876bedcffb1fd1ddc0f96c50b0e9c07943a2aee1f0e182be

sha512=87805379017ef4a7f2c11b954625a3757a0f1431bb9ba59132202de278b3e41adbe0cdc20e3ab23b7c9a8c5a15faeb7ec79348e7d80f2b14274b00df0893b8c0

doc/src/picos.domain/picos_domain.ml.html

Source file `picos_domain.ml`

1
2
3
4
5
6
7
8
9
let at_exit = Domain.at_exit
let recommended_domain_count = Domain.recommended_domain_count
let is_main_domain = Domain.is_main_domain

module DLS = struct
  include Domain.DLS

  let new_key init = new_key init
end

package picos

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/picos.domain/picos_domain.ml.html

Source file picos_domain.ml

Source file `picos_domain.ml`