petalinux-boot は２月になったら試してみます

UG982 （v2013.10) によると、
$ petalinux-boot --qemu --image <path-to-Linux-image-file>
で QEMU をブートできるとのことなので試してみました。

しかし、残念ながら、ライセンスが無いというエラーで起動できませんでした。
無償ライセンスのはずなので、しかるべき手順を踏めば起動できるはずですが、、、、
とりあえず、今月一杯は githum.com/Xilinx から入手した環境を使います。
今月末に AAE の試験を申し込んでしまったので、勉強しないとまずいので

なお、petalinux-boot  を起動するには、
http://forums.xilinx.com/xlnx/board/crawl_message?board.id=ELINUX&message.id=7137
に記載があるとおり、Ubuntu 13.10  においては、
$ sudo apt-get install lib32stdc++6
が必要でした。