update

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

diff --git a/kernel/fiasco/src/kern/ready_queue_wfq.cpp b/kernel/fiasco/src/kern/ready_queue_wfq.cpp
index 1603b9aa59e8ec9d121992520d955d8f14fc01e6..5459a21a66e72dbaa8a678df292d89fca30453e8 100644 (file)
--- a/kernel/fiasco/src/kern/ready_queue_wfq.cpp
+++ b/kernel/fiasco/src/kern/ready_queue_wfq.cpp
@@ -8,6 +8,8 @@ template< typename E >
 class Ready_queue_wfq
 {
   friend class Jdb_thread_list;
+  template<typename T>
+  friend class Jdb_thread_list_policy;
 
 public:
   E *current_sched() const { return _current_sched; }