#include <stdio.h>
#include <xenctrl.h>
#include <uuid/uuid.h>

int main()
{
        struct xen_sysctl_arinc653_schedule sched;
        xc_interface *xci = xc_interface_open(NULL, NULL, 0);
        int i;

        /* initialize major frame and number of minor frames */
        sched.major_frame = 0;
        sched.num_sched_entries = 2;

        uuid_clear(sched.sched_entries[0].dom_handle);
        if(uuid_parse("00000000-0000-0000-0000-000000000000", sched.sched_entries[0].dom_handle))
        {
                printf("error parsing \n");
                return -1;
        }else {
        printf("not error\n");}

        sched.sched_entries[0].vcpu_id = 0;
        sched.sched_entries[0].runtime = 30;
        sched.major_frame += sched.sched_entries[0].runtime;

        if(uuid_parse("938b9c5b-8d9d-402a-9be0-0e0cc4cf67dc", sched.sched_entries[1].dom_handle))
        {
                printf("error parsing \n");
                return -1;
        }else
        {
                printf("not error \n");
        }
        sched.sched_entries[1].vcpu_id = 0;
        sched.sched_entries[1].runtime = 30;
        sched.major_frame += sched.sched_entries[1].runtime;

        i = xc_sched_arinc653_schedule_set(xci, 0, &sched);
        if (!i)
        {
                printf("true\n");
        } else {
                printf("false\n");
        }

        return 0;
}