Questions tagged [l4re]

The L4Re Runtime Environment is an operating system framework for building systems with real-time, security, safety and virtualization requirements. It consists of the L4Re hypervisor/kernel and a user-level infrastructure that includes basic services such as program loading and memory management. L4Re also provides the environment for applications, including libraries and process local functionality.

The L4Re Runtime Environment is an operating system framework for building systems with real-time, security, safety and virtualization requirements. It consists of the L4Re hypervisor/kernel and a user-level infrastructure that includes basic services such as program loading and memory management. L4Re also provides the environment for applications, including libraries and process local functionality.

1 questions
3
votes
0 answers

How to compile a Rust binary for L4Re?

L4Re is a microkernel based system written in C++. It comes with a couple of packages mainly written in C++, C, and it seems like there is native support for Fortran, OCaml and Perl. There is also an hello world package written in plain C, compiled…
michas
  • 25,361
  • 15
  • 76
  • 121