Mickledoreにてビルドを行いましたが、
その生成物でブート用SDカードの作成したいのですが、
参考にできるような情報が見つけられませんでした。
どのような手順で作成したらよいでしょうか。
今まではNXPのツールflexbuildを使っていたので、
何も考える必要がありませんでした。