#endif
#include "edf_types.h"
+#include <stdint.h>
+
+#include <rtems/shell.h>
// This struct will be embedded into the Thread_Control control
// as scheduler_info
EDF_Node *parent;
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);