1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
# Description:
# This VDSO is a shared library that provides the same interfaces as the
# normal system VDSO (time, gettimeofday, clock_gettimeofday) but which uses
# timekeeping parameters managed by the sandbox kernel.
package(licenses = ["notice"]) # Apache 2.0
genrule(
name = "vdso",
srcs = [
"barrier.h",
"compiler.h",
"cycle_clock.h",
"seqlock.h",
"syscalls.h",
"vdso.cc",
"vdso.lds",
"vdso_time.h",
"vdso_time.cc",
],
outs = [
"vdso.so",
],
cmd = "$(CC) $(CC_FLAGS) " +
"-I. " +
"-O2 " +
"-std=c++11 " +
"-fPIC " +
"-fuse-ld=gold " +
"-m64 " +
"-shared " +
"-nostdlib " +
"-Wl,-soname=linux-vdso.so.1 " +
"-Wl,--hash-style=sysv " +
"-Wl,--no-undefined " +
"-Wl,-Bsymbolic " +
"-Wl,-z,max-page-size=4096 " +
"-Wl,-z,common-page-size=4096 " +
"-Wl,-T$(location vdso.lds) " +
"-o $(location vdso.so) " +
"$(location vdso.cc) " +
"$(location vdso_time.cc) " +
"&& $(location :check_vdso) " +
"--check-data " +
"--vdso $(location vdso.so) ",
features = ["-pie"],
tools = [
":check_vdso",
],
visibility = ["//:sandbox"],
)
py_binary(
name = "check_vdso",
srcs = ["check_vdso.py"],
visibility = ["//:sandbox"],
)
|
