#!/bin/sh

echo "Hello PetaLinux World"