Xenのビルド Tips - make distの挙動編 -

make dist

すると

XEN_CODE_ROOT/dist/{boot,lib,...}

にバイナリが配置される。
#実際の環境に変更はしない

実際の環境に配置するには

XEN_CODE_ROOT/dist/install.sh

すべし

実際の環境の配置まで一気にやりたければ

make install

#番外編
xenカーネルだけを手早くビルドしたければ

make dist-xen
か
make install-xen