#!/usr/bin/bash

echo prefix=/usr
echo Kernel=4.19.36-vhulk1907.1.0.h410.eulerosv2r8.aarch64
echo
echo "Configure options: --with-core-mod --with-user_mad-mod --with-user_access-mod --with-addr_trans-mod"
echo
