#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(void);
    void mainMem_alloc(int id, int size);

    void mail_write_from_host(memaddr data) {
	fifoDmaManager->mail_write_from_host(data);
    }

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

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

};

#endif