l4/pkg/cons/server/src/server.h

   1 /*
   2  * (c) 2012-2013 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 #pragma once
  10
  11 #include <l4/cxx/hlist>
  12 #include <l4/sys/cxx/ipc_epiface>
  13
  14 class Server_object
  15 : public L4::Epiface,
  16   public cxx::H_list_item
  17 {
  18 public:
  19   virtual bool collected() = 0;
  20 };