OSnews > Comments > drlecter

Profile Guest Posts Submissions Comments

Last 8 Comments

• The seL4 microkernel: an introduction, Posted on: 03/26/2025
• What is PID 0?, Posted on: 06/10/2024
• Debian GNU/Hurd 2023 released, Posted on: 06/13/2023
• GNOME 40 released, Posted on: 03/28/2021
• seL4 microkernel released as open source, Posted on: 07/31/2014
• Why Nokia Chose Windows Phone 7, and Why It’s a Good Move, Posted on: 02/11/2011
• EU Fines Intel for 1.06 Billion EUR, Posted on: 05/13/2009
• Windows 7 Release Candidate Released to Public, Posted on: 05/05/2009