Describe your experience working with Petalinux or custom Linux distributions for embedded platforms.