Merge branch 'master' into '6.0/stage'

.travis.yml

@@ -1,20 +1,34 @@
-dist: bionic
+os: linux
+dist: focal
 
 language: python
 python:
   - '3.8'
   - '3.7'
   - '3.6'
 install:
+  # If the host is running a kernel without Linux kernel commit b4d185175bc1
+  # ("KVM: VMX: give unrestricted guest full control of CR3") (in v4.17), then
+  # stores to CR3 in the nested guest can spuriously fail and cause it to
+  # crash. We can work around this by disabling unrestricted guest support.
+  - |
+    if grep -q '^flags\b.*\bvmx\b' /proc/cpuinfo; then
+        echo "options kvm_intel unrestricted_guest=N" | sudo tee /etc/modprobe.d/kvm-cr3-workaround.conf > /dev/null
+        sudo modprobe -r kvm_intel
+        sudo modprobe kvm_intel
+    fi
   # Upstream defaults to world-read-writeable /dev/kvm. Debian/Ubuntu override
   # this; see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=892945. We want
   # the upstream default.
   - echo 'KERNEL=="kvm", GROUP="kvm", MODE="0666", OPTIONS+="static_node=kvm"' | sudo tee /lib/udev/rules.d/99-fix-kvm.rules > /dev/null
   - sudo udevadm control --reload-rules
-  # On systemd >= 238 we can use udevadm trigger -w and remove udevadm settle.
-  - sudo udevadm trigger /dev/kvm
-  - sudo udevadm settle
-script: python setup.py test -K
+  - sudo udevadm trigger -w /dev/kvm
+  - pip install black isort mypy
+script:
+  - black --check --diff .
+  - isort --check --diff .
+  - mypy --strict --no-warn-return-any drgn _drgn.pyi
+  - python setup.py test -K
 
 addons:
   apt:

CONTRIBUTING.rst

@@ -71,11 +71,15 @@ drgn assumes some `implementation-defined behavior
 Python
 ^^^^^^
 
-Python code in drgn is formatted with `black <https://github.com/psf/black>`_.
-Code should be compatible with Python 3.6 and newer.
+Python code in drgn should be compatible with Python 3.6 and newer.
 
-Type hints should be provided for all public interfaces other than helpers
-(including the C extension) and most private interfaces.
+Python code should be formatted with `black <https://github.com/psf/black>`_
+and `isort <https://github.com/timothycrosley/isort>`_::
+
+    $ isort . && black .
+
+Type hints should be provided for all interfaces (including helpers and the C
+extension).
 
 Submitting PRs
 --------------