#ifndef INCLUDED_MAIN_SCHEDULER
#define INCLUDED_MAIN_SCHEDULER

#include "Scheduler.h"
#include "FifoDmaManager.h"

class MainScheduler : public Scheduler {
 protected:
    FifoDmaManager *fifoDmaManager;
 public:
    ~MainScheduler(void) {}
    void init_impl(int useRefDma);
    void mainMem_alloc(int id, int size);
    void mail_write_from_host(memaddr data) {
        fifoDmaManager->mail_write_from_host(data);
    }
    int min_cpu() { return mincpu; }
    int max_cpu() {return maxcpu; }

    memaddr mail_read_from_host() {
        return fifoDmaManager->mail_read_from_host();
    }

    int has_mail_from_host() {
        return fifoDmaManager->has_mail_from_host();
    }

};

#endif