Paolo Redaelli personal blog

Category: Software

Apache NuttX

I shall keep an eye on this… Apache NuttX Apache NuttX is a mature, real-time embedded operating system (RTOS). NuttX is a real-time operating system (RTOS) with an emphasis on standards compliance and small footprint. Scalable from 8-bit to 32-bit microcontroller environments, the primary governing standards in NuttX are Posix and ANSI standards. Additional standard…

hyperfine

hyperfine A command-line benchmarking tool. Demo: Benchmarking fd and find: Features Statistical analysis across multiple runs. Support for arbitrary shell commands. Constant feedback about the benchmark progress and current estimates. Warmup runs can be executed before the actual benchmark. Cache-clearing commands can be set up before each timing run. Statistical outlier detection to detect interference…

Link

FAI – Fully Automatic Installation

FAI is a tool for unattended mass deployment of Linux. It’s a system to install and configure Linux systems and software packages on computers as well as virtual machines, from small labs to large-scale infrastructures like clusters and virtual environments. You can take one or more virgin PC’s, turn on the power, and after a few minutes, the systems are installed, and completely configured to your exact needs, without any interaction necessary.

Sequence diagrams

I neede to draw some sequence diagrams. Many people use presentation software like LibreOffice Impress or drawing software but I’m lazy and slow with those programs. Let’s add that I want to use them in a reveal.js presentation. So I asked DuckDuckGo, discovering https://github.com/denniskniep/reveal.js-plugin-sequence-diagrams which uses https://bramp.github.io/js-sequence-diagrams/. The latter in particular is really a smart…

Link

Quickemu Quickly create and run optimised Windows, macOS and Linux desktop virtual machines.

I may need to crosscompile Eiffel applications for MacOs

Link

 Nanos.org: Run code faster than the speed of light

A unikernel running one and only one application in a virtualized environment. More secure and faster than Linux. All while keeping it simple.

Of course it runs faster than Linux. No fork, one process and several other significative simplications.