#include "edf_types.h"
#include <stdint.h>
+
+#include <rtems/shell.h>
// This struct will be embedded into the Thread_Control control
// as scheduler_info
Node_Color color;
EDF_Chain_Control *ready_chain;
uint8_t is_enqueued;
+ uint32_t cmp_time;
+ rtems_id timer_id;
} RBT_Node;
void _RBT_Insert(EDF_Chain_Control *chain,EDF_Node *node);