diff --git a/repos/base-hw/src/core/platform_pd.cc b/repos/base-hw/src/core/platform_pd.cc index f3305afdb..844bcb822 100644 --- a/repos/base-hw/src/core/platform_pd.cc +++ b/repos/base-hw/src/core/platform_pd.cc @@ -114,6 +114,12 @@ void Capability_space::upgrade_slab(Allocator &alloc) { for (;;) { Slab_block * block; + + /* + * On every upgrade we try allocating as many blocks as possible. + * If the underlying allocator complains that its quota is exceeded + * this is normal as we use it as indication when to exit the loop. + */ if (!alloc.alloc(SLAB_SIZE, &block)) return; block = construct_at(block, &_slab); _slab.insert_sb(block);