5bc54a3bbe
- arm64: Get TSC corresponding to boot time from IHK. - x86_64: Calculate the current time using vdso. Refs: #1186 Fujitsu: POSTK_DEBUG_ARCH_DEP_52 Change-Id: I293ba4bbe5390d50dea44b8a5b7471f59237daff
14 lines
140 B
Makefile
14 lines
140 B
Makefile
TARGET=C1186
|
|
CC=gcc
|
|
|
|
all:: $(TARGET)
|
|
|
|
C1186: C1186.c
|
|
$(CC) -o C1186 C1186.c
|
|
|
|
test:: $(TARGET)
|
|
sh ./C1186.sh
|
|
|
|
clean::
|
|
rm -f *.o $(TARGET)
|