27#include <l4/bid_config.h>
29#if defined(CONFIG_L4RE_BITMAP_CAP_ALLOC)
33namespace L4Re {
namespace Util {
35typedef Cap_alloc_base _Cap_alloc;
39#elif defined(CONFIG_L4RE_COUNTING_CAP_ALLOC)
42#include <l4/re/util/debug>
44namespace L4Re {
namespace Util {
49#if defined(__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1) || defined(ARCH_arm) || defined(ARCH_riscv)
50typedef Counting_cap_alloc<L4Re::Util::Counter_atomic<unsigned char>,
51 L4Re::Util::Dbg > _Cap_alloc;
52#elif defined(ARCH_sparc)
53typedef Counting_cap_alloc<L4Re::Util::Counter<unsigned char>,
54 L4Re::Util::Dbg > _Cap_alloc;
55#warning "Thread-safe capability allocator not available!"
57#error "Unsupported platform"
63#error "No supported capability allocator selected"
Bitmap capability allocator.
Reference-counting capability allocator.