diff --git a/include/etl/generators/type_traits_generator.h b/include/etl/generators/type_traits_generator.h
index d8c1ee605..35db7ea62 100644
--- a/include/etl/generators/type_traits_generator.h
+++ b/include/etl/generators/type_traits_generator.h
@@ -1406,6 +1406,52 @@ typedef integral_constant<bool, true>  true_type;
   inline constexpr bool is_one_of_v = etl::is_one_of<T, TRest...>::value;
 #endif
 
+#if ETL_USING_CPP11
+  //***************************************************************************
+  /// Template to determine if a type is a base of all types in a specified list.
+  ///\ingroup types
+  template <typename T, typename T1, typename... TRest>
+  struct is_base_of_all
+  {
+    static const bool value = etl::is_base_of<T, T1>::value &&
+                              etl::is_base_of_all<T, TRest...>::value;
+  };
+
+  template <typename T, typename T1>
+  struct is_base_of_all<T, T1>
+  {
+    static const bool value = etl::is_base_of<T, T1>::value;
+  };
+#endif
+
+#if ETL_USING_CPP17
+  template <typename T, typename... TRest>
+  inline constexpr bool is_base_of_all_v = etl::is_base_of_all<T, TRest...>::value;
+#endif
+
+#if ETL_USING_CPP11
+  //***************************************************************************
+  /// Template to determine if a type is a base of any type in a specified list.
+  ///\ingroup types
+  template <typename T, typename T1, typename... TRest>
+  struct is_base_of_any
+  {
+    static const bool value = etl::is_base_of<T, T1>::value ||
+                              etl::is_base_of_any<T, TRest...>::value;
+  };
+
+  template <typename T, typename T1>
+  struct is_base_of_any<T, T1>
+  {
+    static const bool value = etl::is_base_of<T, T1>::value;
+  };
+#endif
+
+#if ETL_USING_CPP17
+  template <typename T, typename... TRest>
+  inline constexpr bool is_base_of_any_v = etl::is_base_of_any<T, TRest...>::value;
+#endif
+
   //***************************************************************************
   /// A set of templates to allow related types to be derived.
   ///\ingroup types
diff --git a/include/etl/generators/variant_pool_generator.h b/include/etl/generators/variant_pool_generator.h
index 1ff767588..a212a1e51 100644
--- a/include/etl/generators/variant_pool_generator.h
+++ b/include/etl/generators/variant_pool_generator.h
@@ -73,6 +73,120 @@ cog.outl("//********************************************************************
 
 namespace etl
 {
+#if ETL_USING_CPP11 && !defined(ETL_VARIANT_POOL_FORCE_CPP03_IMPLEMENTATION)
+  //***************************************************************************
+  template <size_t MAX_SIZE_, typename ... Ts>
+  class variant_pool
+    : public etl::generic_pool<etl::largest<Ts...>::size,
+                               etl::largest<Ts...>::alignment,
+                               MAX_SIZE_>
+  {
+  public:
+
+    typedef etl::generic_pool<etl::largest<Ts...>::size,
+                              etl::largest<Ts...>::alignment,
+                              MAX_SIZE_> base_t;
+
+    static const size_t MAX_SIZE = MAX_SIZE_;
+
+    //*************************************************************************
+    /// Default constructor.
+    //*************************************************************************
+    variant_pool()
+    {
+    }
+
+    //*************************************************************************
+    /// Creates the object from a type. Variadic parameter constructor.
+    //*************************************************************************
+    template <typename T, typename... Args>
+    T* create(Args&&... args)
+    {
+      ETL_STATIC_ASSERT((etl::is_one_of<T, Ts...>::value), "Unsupported type");
+
+      return base_t::template create<T>(etl::forward<Args>(args)...);
+    }
+
+    //*************************************************************************
+    /// Destroys the object.
+    //*************************************************************************
+    template <typename T>
+    void destroy(const T* const p)
+    {
+      ETL_STATIC_ASSERT((etl::is_one_of<T, Ts...>::value || etl::is_base_of_any<T, Ts...>::value), "Invalid type");
+
+      base_t::destroy(p);
+    }
+
+    //*************************************************************************
+    /// Returns the maximum number of items in the variant_pool.
+    //*************************************************************************
+    size_t max_size() const
+    {
+      return MAX_SIZE;
+    }
+
+  private:
+
+    variant_pool(const variant_pool&) ETL_DELETE;
+    variant_pool& operator =(const variant_pool&) ETL_DELETE;
+  };
+
+  //***************************************************************************
+  template <typename ... Ts>
+  class variant_pool_ext
+    : public etl::generic_pool_ext<etl::largest<Ts...>::size,
+                                   etl::largest<Ts...>::alignment>
+  {
+  public:
+
+    typedef etl::generic_pool_ext<etl::largest<Ts...>::size,
+                                  etl::largest<Ts...>::alignment> base_t;
+
+    //*************************************************************************
+    /// Default constructor.
+    //*************************************************************************
+    variant_pool_ext(typename base_t::element* buffer, size_t size)
+      : base_t(buffer, size)
+    {
+    }
+
+    //*************************************************************************
+    /// Creates the object from a type. Variadic parameter constructor.
+    //*************************************************************************
+    template <typename T, typename... Args>
+    T* create(Args&&... args)
+    {
+      ETL_STATIC_ASSERT((etl::is_one_of<T, Ts...>::value), "Unsupported type");
+
+      return base_t::template create<T>(etl::forward<Args>(args)...);
+    }
+
+    //*************************************************************************
+    /// Destroys the object.
+    //*************************************************************************
+    template <typename T>
+    void destroy(const T* const p)
+    {
+      ETL_STATIC_ASSERT((etl::is_one_of<T, Ts...>::value || etl::is_base_of_any<T, Ts...>::value), "Invalid type");
+
+      base_t::destroy(p);
+    }
+
+    //*************************************************************************
+    /// Returns the maximum number of items in the variant_pool.
+    //*************************************************************************
+    size_t max_size() const
+    {
+      return base_t::max_size();
+    }
+
+  private:
+
+    variant_pool_ext(const variant_pool_ext&) ETL_DELETE;
+    variant_pool_ext& operator =(const variant_pool_ext&) ETL_DELETE;
+  };
+#else
   //***************************************************************************
   /*[[[cog
   import cog
@@ -500,6 +614,7 @@ namespace etl
     variant_pool_ext(const variant_pool_ext&) ETL_DELETE;
     variant_pool_ext& operator =(const variant_pool_ext&) ETL_DELETE;
   };
+#endif
 }
 
 #endif
diff --git a/include/etl/type_traits.h b/include/etl/type_traits.h
index 43f01de3c..14831ed80 100644
--- a/include/etl/type_traits.h
+++ b/include/etl/type_traits.h
@@ -1399,6 +1399,52 @@ typedef integral_constant<bool, true>  true_type;
   inline constexpr bool is_one_of_v = etl::is_one_of<T, TRest...>::value;
 #endif
 
+#if ETL_USING_CPP11
+  //***************************************************************************
+  /// Template to determine if a type is a base of all types in a specified list.
+  ///\ingroup types
+  template <typename T, typename T1, typename... TRest>
+  struct is_base_of_all
+  {
+    static const bool value = etl::is_base_of<T, T1>::value &&
+                                     etl::is_base_of_all<T, TRest...>::value;
+  };
+
+  template <typename T, typename T1>
+  struct is_base_of_all<T, T1>
+  {
+    static const bool value = etl::is_base_of<T, T1>::value;
+  };
+#endif
+
+#if ETL_USING_CPP17
+  template <typename T, typename... TRest>
+  inline constexpr bool is_base_of_all_v = etl::is_base_of_all<T, TRest...>::value;
+#endif
+
+#if ETL_USING_CPP11
+  //***************************************************************************
+  /// Template to determine if a type is a base of any type in a specified list.
+  ///\ingroup types
+  template <typename T, typename T1, typename... TRest>
+  struct is_base_of_any
+  {
+    static const bool value = etl::is_base_of<T, T1>::value ||
+                                     etl::is_base_of_any<T, TRest...>::value;
+  };
+
+  template <typename T, typename T1>
+  struct is_base_of_any<T, T1>
+  {
+    static const bool value = etl::is_base_of<T, T1>::value;
+  };
+#endif
+
+#if ETL_USING_CPP17
+  template <typename T, typename... TRest>
+  inline constexpr bool is_base_of_any_v = etl::is_base_of_any<T, TRest...>::value;
+#endif
+
   //***************************************************************************
   /// A set of templates to allow related types to be derived.
   ///\ingroup types
diff --git a/include/etl/variant_pool.h b/include/etl/variant_pool.h
index cb5ae7fd8..d97b735a9 100644
--- a/include/etl/variant_pool.h
+++ b/include/etl/variant_pool.h
@@ -61,6 +61,120 @@ SOFTWARE.
 
 namespace etl
 {
+#if ETL_USING_CPP11 && !defined(ETL_VARIANT_POOL_FORCE_CPP03_IMPLEMENTATION)
+  //***************************************************************************
+  template <size_t MAX_SIZE_, typename ... Ts>
+  class variant_pool
+    : public etl::generic_pool<etl::largest<Ts...>::size,
+                               etl::largest<Ts...>::alignment,
+                               MAX_SIZE_>
+  {
+  public:
+
+    typedef etl::generic_pool<etl::largest<Ts...>::size,
+                              etl::largest<Ts...>::alignment,
+                              MAX_SIZE_> base_t;
+
+    static const size_t MAX_SIZE = MAX_SIZE_;
+
+    //*************************************************************************
+    /// Default constructor.
+    //*************************************************************************
+    variant_pool()
+    {
+    }
+
+    //*************************************************************************
+    /// Creates the object from a type. Variadic parameter constructor.
+    //*************************************************************************
+    template <typename T, typename... Args>
+    T* create(Args&&... args)
+    {
+      ETL_STATIC_ASSERT((etl::is_one_of<T, Ts...>::value), "Unsupported type");
+
+      return base_t::template create<T>(etl::forward<Args>(args)...);
+    }
+
+    //*************************************************************************
+    /// Destroys the object.
+    //*************************************************************************
+    template <typename T>
+    void destroy(const T* const p)
+    {
+      ETL_STATIC_ASSERT((etl::is_one_of<T, Ts...>::value || etl::is_base_of_any<T, Ts...>::value), "Invalid type");
+
+      base_t::destroy(p);
+    }
+
+    //*************************************************************************
+    /// Returns the maximum number of items in the variant_pool.
+    //*************************************************************************
+    size_t max_size() const
+    {
+      return MAX_SIZE;
+    }
+
+  private:
+
+    variant_pool(const variant_pool&) ETL_DELETE;
+    variant_pool& operator =(const variant_pool&) ETL_DELETE;
+  };
+
+  //***************************************************************************
+  template <typename ... Ts>
+  class variant_pool_ext
+    : public etl::generic_pool_ext<etl::largest<Ts...>::size,
+                                   etl::largest<Ts...>::alignment>
+  {
+  public:
+
+    typedef etl::generic_pool_ext<etl::largest<Ts...>::size,
+                                  etl::largest<Ts...>::alignment> base_t;
+
+    //*************************************************************************
+    /// Default constructor.
+    //*************************************************************************
+    variant_pool_ext(typename base_t::element* buffer, size_t size)
+      : base_t(buffer, size)
+    {
+    }
+
+    //*************************************************************************
+    /// Creates the object from a type. Variadic parameter constructor.
+    //*************************************************************************
+    template <typename T, typename... Args>
+    T* create(Args&&... args)
+    {
+      ETL_STATIC_ASSERT((etl::is_one_of<T, Ts...>::value), "Unsupported type");
+
+      return base_t::template create<T>(etl::forward<Args>(args)...);
+    }
+
+    //*************************************************************************
+    /// Destroys the object.
+    //*************************************************************************
+    template <typename T>
+    void destroy(const T* const p)
+    {
+      ETL_STATIC_ASSERT((etl::is_one_of<T, Ts...>::value || etl::is_base_of_any<T, Ts...>::value), "Invalid type");
+
+      base_t::destroy(p);
+    }
+
+    //*************************************************************************
+    /// Returns the maximum number of items in the variant_pool.
+    //*************************************************************************
+    size_t max_size() const
+    {
+      return base_t::max_size();
+    }
+
+  private:
+
+    variant_pool_ext(const variant_pool_ext&) ETL_DELETE;
+    variant_pool_ext& operator =(const variant_pool_ext&) ETL_DELETE;
+  };
+#else
   //***************************************************************************
   template <size_t MAX_SIZE_,
             typename T1,
@@ -350,6 +464,7 @@ namespace etl
     variant_pool_ext(const variant_pool_ext&) ETL_DELETE;
     variant_pool_ext& operator =(const variant_pool_ext&) ETL_DELETE;
   };
+#endif
 }
 
 #endif
diff --git a/test/etl_profile.h b/test/etl_profile.h
index 079e24ad8..c0101762f 100644
--- a/test/etl_profile.h
+++ b/test/etl_profile.h
@@ -102,6 +102,7 @@ SOFTWARE.
   #define ETL_FORWARD_LIST_FORCE_CPP03_IMPLEMENTATION
   #define ETL_FLAT_SET_FORCE_CPP03_IMPLEMENTATION
   #define ETL_FLAT_MULTISET_FORCE_CPP03_IMPLEMENTATION
+  #define ETL_VARIANT_POOL_FORCE_CPP03_IMPLEMENTATION
 #endif
 
 #if defined(ETL_FORCE_TEST_CPP11)
diff --git a/test/test_type_traits.cpp b/test/test_type_traits.cpp
index af5feacab..129a5fa8d 100644
--- a/test/test_type_traits.cpp
+++ b/test/test_type_traits.cpp
@@ -1282,6 +1282,42 @@ namespace
     CHECK((etl::is_trivially_copyable<MoveableCopyable>::value) == (std::is_trivially_copyable<MoveableCopyable>::value));
 #endif
 #endif
+#endif
+  }
+
+  //*************************************************************************
+  TEST(test_is_base_of_any)
+  {
+    struct Base {};
+    struct D1 : Base {};
+    struct D2 : Base {};
+    struct D3 : Base {};
+    struct D4 {};
+
+#if ETL_USING_CPP17
+    CHECK_TRUE(bool(etl::is_base_of_any_v<Base, D1, D2, D3, D4>));
+    CHECK_FALSE(bool(etl::is_base_of_any_v<Base, D4>));
+#else
+    CHECK_TRUE(bool(etl::is_base_of_any<Base, D1, D2, D3, D4>::value));
+    CHECK_FALSE(bool(etl::is_base_of_any<Base, D4>::value));
+#endif
+  }
+
+  //*************************************************************************
+  TEST(test_is_base_of_all)
+  {
+    struct Base {};
+    struct D1 : Base {};
+    struct D2 : Base {};
+    struct D3 : Base {};
+    struct D4 {};
+
+#if ETL_USING_CPP17
+    CHECK_TRUE(bool(etl::is_base_of_all_v<Base, D1, D2, D3>));
+    CHECK_FALSE(bool(etl::is_base_of_all_v<Base, D1, D2, D3, D4>));
+#else
+    CHECK_TRUE(bool(etl::is_base_of_all<Base, D1, D2, D3>::value));
+    CHECK_FALSE(bool(etl::is_base_of_all<Base, D1, D2, D3, D4>::value));
 #endif
   }
 }