#include "api.h"
#include "pal.h"
#include "pal_debug.h"

int main(int argc, const char** argv, const char** envp) {
    unsigned long time1 = DkSystemTimeQuery();
    unsigned long time2 = DkSystemTimeQuery();

    pal_printf("Time Query 1: %ld\n", time1);
    pal_printf("Time Query 2: %ld\n", time2);

    if (time1 <= time2)
        pal_printf("Query System Time OK\n");

    unsigned long time3 = DkSystemTimeQuery();
    DkThreadDelayExecution(10000);
    unsigned long time4 = DkSystemTimeQuery();

    pal_printf("Sleeped %ld Microseconds\n", time4 - time3);

    if (time3 < time4 && time4 - time3 > 10000)
        pal_printf("Delay Execution for 10000 Microseconds OK\n");

    unsigned long time5 = DkSystemTimeQuery();
    DkThreadDelayExecution(3000000);
    unsigned long time6 = DkSystemTimeQuery();

    pal_printf("Sleeped %ld Microseconds\n", time6 - time5);

    if (time5 < time6 && time6 - time5 > 3000000)
        pal_printf("Delay Execution for 3 Seconds OK\n");

    unsigned long data[100];
    memset(data, 0, sizeof(data));

    for (int i = 0; i < 100; i++) {
        int ret = DkRandomBitsRead(&data[i], sizeof(unsigned long));
        if (ret < 0) {
            pal_printf("DkRandomBitsRead() failed!\n");
            return 1;
        }
    }

    bool same = false;
    for (int i = 1; i < 100; i++)
        for (int j = 0; j < i; j++)
            if (data[i] == data[j])
                same = true;

    if (!same)
        pal_printf("Generate Random Bits OK\n");

    return 0;
}