#!/bin/bash

echo prefix=/usr
echo Kernel=4.19.90-vhulk2006.2.0.h171.eulerosv2r9.aarch64
echo
echo "Configure options: --with-core-mod --with-user_mad-mod --with-user_access-mod --with-addr_trans-mod"
echo
