update

[l4.git] / kernel / fiasco / src / kern / vm_factory.cpp

INTERFACE:

class Vm;
class Ram_quota;

class Vm_factory
{
public:
  static Vm *create(Ram_quota *quota);
};