Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions filesystem/resources/console-font.sh
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@

device_veyron_speedy="Google Speedy"
device_veyron_minnie="Google Minnie"
device_veyron_mickey="Google Mickey"
device_gru_kevin="Google Kevin"
device_gru_bob="Google Bob"

Expand Down
16 changes: 16 additions & 0 deletions kernel/resources/armhf/kernel.its
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,17 @@
algo = "sha1";
};
};
fdt@3 {
description = "dtb";
data = /incbin/("arch/arm/boot/dts/rk3288-veyron-mickey.dtb");
type = "flat_dt";
arch = "arm";
compression = "none";
hash {
algo = "sha1";
};
};

};
configurations {
default = "conf@1";
Expand All @@ -48,5 +59,10 @@
kernel = "kernel@1";
fdt = "fdt@2";
};
conf@3{
kernel = "kernel@1";
fdt = "fdt@3";
};

};
};
3 changes: 3 additions & 0 deletions kernel/resources/shared/FlashKernelPartition.sh
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@
### SHARED CONST AND VARS
device_veyron_speedy="Google Speedy"
device_veyron_minnie="Google Minnie"
device_veyron_mickey="Google Mickey"
device_gru_kevin="Google Kevin"
device_gru_bob="Google Bob"

Expand All @@ -36,6 +37,7 @@ get_emmc_devname() {
case "$device" in
$device_veyron_speedy) local devname=mmcblk2;;
$device_veyron_minnie) local devname=mmcblk2;;
$device_veyron_mickey) local devname=mmcblk2;;
$device_gru_kevin) local devname=mmcblk0;;
$device_gru_bob) local devname=mmcblk0;;
* ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
Expand All @@ -49,6 +51,7 @@ get_sd_devname() {
case "$device" in
$device_veyron_speedy) local devname=mmcblk0;;
$device_veyron_minnie) local devname=mmcblk0;;
$device_veyron_mickey) local devname=mmcblk0;;
$device_gru_kevin) local devname=mmcblk1;;
$device_gru_bob) local devname=mmcblk1;;
* ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
Expand Down
3 changes: 3 additions & 0 deletions scripts/InstallScripts/InstallPackages.sh
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ SCRIPTS=/etc/prawnos/install/scripts
# TODO: when these scripts are packaged, place these in a shared script instead of in every file that needs them
device_veyron_speedy="Google Speedy"
device_veyron_minnie="Google Minnie"
device_veyron_mickey="Google Mickey"
device_gru_kevin="Google Kevin"
device_gru_bob="Google Bob"

Expand All @@ -37,6 +38,7 @@ get_emmc_devname() {
case "$device" in
$device_veyron_speedy) local devname=mmcblk2;;
$device_veyron_minnie) local devname=mmcblk2;;
$device_veyron_mickey) local devname=mmcblk2;;
$device_gru_kevin) local devname=mmcblk1;;
$device_gru_bob) local devname=mmcblk1;;
* ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
Expand All @@ -50,6 +52,7 @@ get_sd_devname() {
case "$device" in
$device_veyron_speedy) local devname=mmcblk0;;
$device_veyron_minnie) local devname=mmcblk0;;
$device_veyron_mickey) local devname=mmcblk0;;
$device_gru_kevin) local devname=mmcblk0;;
$device_gru_bob) local devname=mmcblk0;;
* ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
Expand Down
3 changes: 3 additions & 0 deletions scripts/InstallScripts/InstallPrawnOS.sh
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,7 @@ SCRIPTS=/etc/prawnos/install/scripts
# TODO: when these scripts are packaged, place these in a shared script instead of in every file that needs them
device_veyron_speedy="Google Speedy"
device_veyron_minnie="Google Minnie"
device_veyron_mickey="Google Mickey"
device_gru_kevin="Google Kevin"
device_gru_bob="Google Bob"

Expand All @@ -40,6 +41,7 @@ get_emmc_devname() {
case "$device" in
$device_veyron_speedy) local devname=mmcblk2;;
$device_veyron_minnie) local devname=mmcblk2;;
$device_veyron_mickey) local devname=mmcblk2;;
$device_gru_kevin) local devname=mmcblk1;;
$device_gru_bob) local devname=mmcblk1;;
* ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
Expand All @@ -53,6 +55,7 @@ get_sd_devname() {
case "$device" in
$device_veyron_speedy) local devname=mmcblk0;;
$device_veyron_minnie) local devname=mmcblk0;;
$device_veyron_mickey) local devname=mmcblk0;;
$device_gru_kevin) local devname=mmcblk0;;
$device_gru_bob) local devname=mmcblk0;;
* ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
Expand Down