#!/bin/bash echo "Pika Kernel - Releasing Kernel"