Re: [seL4] Syscall errors with musl

Hi Rina,

The seL4 micro-kernel does not provide any typical OS services, instead, these should be provided by user space drivers and processes. Unfortunately, we do not yet provide any user space services for acquiring the time of day, however, we do provide timer drivers.

The timer driver API can be found here: https://github.com/seL4/util_libs/blob/master/libplatsupport/include/platsup...

- Alex

On Sun, 2016-11-20 at 19:15 +0300, Rinat Dobrokhotov wrote:

Hi all,

I have written simple programme which gets system time. I get syscall errors when programm is calling gettimeofday function:

main.c:

    #include <time.h>
    #include <sys/time.h>
    #include <stdlib.h>
    #include <stdio.h>

    int main(int argc, char *argv[]) {
    int iterations = 1000000;

    struct timeval start, end;

    gettimeofday(&start, NULL);

    for (int i = 0; i < iterations; i++)
    {
    }

    gettimeofday(&end, NULL);

    printf("%ld\n", ((end.tv_sec * 1000000 + end.tv_usec)
            - (start.tv_sec * 1000000 + start.tv_usec)));

    return 0;

Errors:

    libsel4muslcsys: Error attempting syscall 263
    libsel4muslcsys: Error attempting syscall 78

Could you tell me where I mistook?

-- Best regards, Rinat Dobrokhotov _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel