Kernel

News

OSADL, das Open Source Automation Development Lab, hat einen ersten so genannten "Latest Stable" Realtime-Kernel released, der insbesondere die Services und Produkte der OSADL-Mitgliedsunternehmen unterstützt.

Aktuell

printk() und die NMIs Petr Mladek hat ein Patch eingereicht, das es erlauben soll, »printk()« aus der Routine eines Non-Maskable-Interrupts aufzurufen. Diese NMIs lassen sich normal nicht unterbrechen, aber »printk()« löse ein internes Locking aus – insgesamt könne so ein kritischer...

Aktuell

NMIs: Linus flucht über Hardwarehersteller Nested Non-Maskable Interrupts (NMIs), eine vermeintlich lästige Altlast, wollte Andy Lutomirski loswerden – und damit eine ganze Latte an altem, dann nicht mehr benötigten Kernelquelltext. Dafür hatte er selbst Code eingebracht, um die Signale, die...

Aktuell

Große Menge an Hardwaretreibern erschwert Kernel-Konfiguration und -Build Suses Jean Delvare warnt auf der Kernel-Mailingliste, die Konfigurationsdateien für den Kernel umfassen mittlerweile mehr als 6000 Zeichen. Außerdem wachse die Anzahl der Treiber und Optionen explosionsartig....

News

Den sel4-Kernel, eine erweiterte und stärker gesicherte Version des L4 Micro-Kernel, stellten die Firma General Dynamics C4 Systems und NICTA, das australische Information Communications Technology Research Centre of Excellence, jetzt unter eine Open-Source-Lizenz.

Nach oben