GitHub.comにあるlinux-xlnxのsprintfソースコード。

~~Zynqでも上記のstdioを使っているのかは未消化。~~

linux-xlnxでstdio.hをFind fileするとarch/powerpc/bootのファイルのみ見つかる。

上記のソースを持ってきてCentOS上でビルとしようとしたが、様々なエラーが出て断念した。

PetaLinux環境で試すのがいいのかもしれない。
https://qiita.com/7of9/items/025446735fec16f6a56a

QEMUで実行する (QEMUの終了方法についても記載)。
https://qiita.com/7of9/items/49f705c5b51c7c7c91a2

$ petalinux-boot --qemu --kernel
パスワードはroot, root? 
$ cd /bin
$ ./myapp_171101  (作成したアプリ名)