Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/fs/omfs/   (Linux Kernel Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 600 B image not shown  

Quelle  Kconfig   Sprache: Isabelle

 

# SPDX-License-Identifier: GPL-2.0-only
config OMFS_FS
 tristate "SonicBlue Optimized MPEG File System support"
 depends on BLOCK
 select BUFFER_HEAD
 select CRC_ITU_T
 help
   This is the proprietary file system used by the Rio Karma music
   player and ReplayTV DVR.  Despite the name, this filesystem is not
   more efficient than a standard FS for MPEG files, in fact likely
   the opposite is true.  Say Y if you have either of these devices
   and wish to mount its disk.

   To compile this file system support as a module, choose M here: the
   module will be called omfs.  If unsure, say N.

Messung
CHZG
869610093

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.