add_header_library(
  linux_i386_util
  HDRS
    syscall.h
)

add_header_library(
  vdso
  HDRS
    vdso.h
)