8a612c3a44
The kernel provides an API call to get the least signficant 32 bits of system time, use it rather than reaching under the hood. Change-Id: I98fabdcadfd0a4fe5ae10226dabf4e6d31e88df6 Signed-off-by: Marcus Shawcroft <marcus.shawcroft@arm.com> |
||
---|---|---|
.. | ||
Makefile | ||
dtls_server.c | ||
udp.c | ||
udp.h | ||
udp_cfg.h |