Allgemeine Linux-Informationen

• Linux WWW Resources
  umfangreiche Linksammlung, guter Startpunkt
• Linux Kernel Sources
  immer der aktuelle Kernel...
• Linux Headquarters
  aktuelle Informationen zu den neuesten Kerneln (Changes)
• Linux Resources (TM)
  Linux-News, Projekte, Software...
• The Linux Documentation Project Homepage
  sammelt Dokumentationen, HOWTOs, Anleitungen aller Art
• D.A. Rusling: The Linux-Kernel
  in Arbeit befindlich, aber als Einführung ganz nützlich und kostenlos
• Operating systems comparison
  was kann Linux besser?

Source-Browser

• Linux Cross-Reference
  durch den Linux-Kernel browsen (genial!)
• Linux Source Driver
  dito, aber keine Querverweise auf Funktionen, Variablen

Z

• The World Wide Web Virtual Library: The Z notation
  guter Startpunkt für Z-Ressourcen
• comp.specification.z Frequently Asked Questions
  ...
• Using Z: Specification, Refinement, and Proof
  Formal techniques and formal methods for software engineering - das Buch
• The Z Notation: a reference manual
  der Spivey als PS oder LaTeX-Source
• FTP Directory: ftp://ftp.comlab.ox.ac.uk/pub/Zforum/
  Z-Doku, LaTeX-Styles, etc.

PVS

• SRI-CSL-PVS
  offizielle PVS-Seite vom SRI

FDR

• FDR2 - Hilfe
  Hilfedatei zu FDR 2.28

CVS

• Cyclic Software
  offizielle CVS-Homepage + Info zu tkCVS
• Hen's cvsweb
  leistungsfähiges Web-Interface zu CVS

Linux Oddities

• Der Linux-Pinguin
  das Tier in uns
• Linux Banners
  zum Einsatz auf der Homepage
• Index of /BeLUG/logos/tux
  diverse Linux-Logos
• Linux Gallery
  der Pinguin in Aktion
• Linux Verband (LIVE)
  diejenigen, die uns den Namen klauten...

ACL

• Ein Projekt,
  das ebenfalls an einer ACL Implementierung für ext2 arbeitet.