tree 3e4c0abd5ba7605ad9e02a05a0158e475013dd51
parent 19810333993d032760e1c13c642f2edec013eeec
author David Brazdil <dbrazdil@google.com> 1597243502 +0000
committer David Brazdil <dbrazdil@google.com> 1597308003 +0000

Hacks to build kvmtool on Android