berikut adalah cara untuk menjalankan os linux dan debian di hp galaxy mini
dan beberapa komponen yang di butuhkan dalam mengunakanya. semoga ber hasil ,ini saya peroleh dari grub di fb yang beralamat https://www.facebook.com/groups/Samsung.Galaxy.Mini