Skip to content

Commit

Permalink
Update go.sh
Browse files Browse the repository at this point in the history
Print default address that has been set to user.
  • Loading branch information
bdevierno1 authored Mar 22, 2020
1 parent a36dd45 commit 20ddb67
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion onvm/go.sh
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ verbosity_level="-v $verbosity"
# If base virtual address has not been set by the user, set to default.
if [[ -z $virt_addr ]]
then
echo "Base virtual address set to default"
echo "Base virtual address set to default 0x7f000000000"
virt_addr="--base-virtaddr=0x7f000000000"
fi

Expand Down

0 comments on commit 20ddb67

Please sign in to comment.