Paolo Redaelli personal blog

Category: Software Libero

Link

Apache NuttX

Apache NuttX is a mature, real-time embedded operating system (RTOS).

 

Apache NuttX

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 APIs from Unix and other common RTOS’s (such as VxWorks) are adopted for functionality not available under these standards, or for functionality that is not appropriate for deeply-embedded environments (such as fork()).

PinePhone Pro | PINE64

PinePhone Pro, our flagship smartphone and the best way to experience mainline Linux on a mobile device Developer pre-orders are now open Pre-order * Additional charges, such as import taxes and… Source: PinePhone Pro | PINE64 It looks like a wonderful piece of hardware. But as I’m still waiting to receive my Librem5 I think…

Useful tools

htmlq, like jq, but for HTML. Uses CSS selectors to extract bits content from HTML files. Mozilla’s MDN has a good reference for CSS selector syntax. jq is a lightweight and flexible command-line JSON processor.

Tesoro, mi si è gelato l’inferno!

Usa dirsi “farò $X quando congelerĂ  l’inferno” per lasciar intendere “non lo farò mai” perchĂ© si suole considerare l’inferno un luogo fiammeggiante. Beh, pare proprio che l’inferno si stia congelato! Perlomeno da qualche anno ed in particolare dal 2020 quando ho iniziato a scrivere queste note. Orbene avendo vissuto sulla mia pelle le carinerie che…