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 #include #include #include

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