l4/pkg/io/server/src/cfg.h

   1 /*
   2  * (c) 2010 Alexander Warg <warg@os.inf.tu-dresden.de>
   3  *     economic rights: Technische Universität Dresden (Germany)
   4  *
   5  * This file is part of TUD:OS and distributed under the terms of the
   6  * GNU General Public License 2.
   7  * Please see the COPYING-GPL-2 file for details.
   8  */
   9
  10 #pragma once
  11
  12 namespace Hw {
  13   class Device;
  14 }
  15
  16 class Io_config
  17 {
  18 public:
  19   virtual bool transparent_msi(Hw::Device *) const = 0;
  20   virtual bool legacy_ide_resources(Hw::Device *) const = 0;
  21   virtual bool expansion_rom(Hw::Device *) const = 0;
  22   virtual int verbose() const = 0;
  23
  24   static Io_config *cfg;
  25   virtual ~Io_config() {}
  26 };