Rockpi4/dev/Debian/es es - Revision history

HANLLEL at 17:00, 9 February 2019

2019-02-09T17:00:04Z

HANLLEL at 21:06, 4 January 2019

2019-01-04T21:06:38Z

HANLLEL: /* Troubleshooting */

2018-12-10T23:39:21Z

‎Troubleshooting

HANLLEL: /* Flash the image */

2018-12-10T23:37:11Z

‎Flash the image

HANLLEL: /* Combine everything into one image */

2018-12-10T23:32:23Z

‎Combine everything into one image

HANLLEL: /* Make rootfs image */

2018-12-10T23:30:08Z

‎Make rootfs image

HANLLEL: /* Build kernel */

2018-12-10T00:10:31Z

‎Build kernel

HANLLEL: /* Compilando u-boot */

2018-12-10T00:07:47Z

‎Compilando u-boot

HANLLEL at 23:45, 9 December 2018

2018-12-09T23:45:47Z

HANLLEL: Created page with "{{rockpi4_header_es}} {{Languages|rockpi4/dev/Debian}} ROCK Pi 4 > Desarrollando > rockpi4/dev/Debian/es_es | Compilando De..."

2018-12-09T22:57:30Z

Created page with "{{rockpi4_header_es}} {{Languages|rockpi4/dev/Debian}} ROCK Pi 4 > Desarrollando > rockpi4/dev/Debian/es_es | Compilando De..."

New page

{{rockpi4_header_es}}

{{Languages|rockpi4/dev/Debian}}

[[rockpi4/es_es | ROCK Pi 4]] > [[rockpi4/dev/es_es | Desarrollando]] > [[rockpi4/dev/Debian/es_es | Compilando Debian]]

= El SDK de Rockchip para Debian =

Below is the instructions of how to build image for ROCK Pi 4.

== Get the source code ==

You need Git to get multiple git repositories to build the image.

Install Git if you don't have it.

sudo apt-get update
sudo apt-get install git

Clone the source code

git clone --recursive https://github.com/radxa/rockchip-bsp.git

You will get

build kernel README.md rkbin rootfs u-boot

Directories usage introductions:

* build:
** Some script files and configuration files for building u-boot, kernel and rootfs.
* kernel:
** kernel source code, current version is 4.4
* rkbin:
** Prebuilt Rockchip binaries, include first stage loader and ATF(Arm Trustzone Firmware).
* rootfs:
** Bootstrap a Debian based rootfs, support architechture armhf and arm64, support Debian Jessie and Stretch.
* u-boot:
** u-boot as the second stage bootloader

== Install toolchain and other build tools ==

sudo apt-get install gcc-aarch64-linux-gnu device-tree-compiler libncurses5 libncurses5-dev build-essential libssl-dev mtools

== Build u-boot ==

./build/mk-uboot.sh rockpi4b #For ROCK Pi 4 Mode B

The generated images will be copied to out/u-boot folder

ls out/u-boot/
idbloader.img rk3399_loader_v1.12.112.bin trust.img uboot.img

== Build kernel ==
Build kernel with default '''rockchip_linux_defconfig'''

./build/mk-kernel.sh rockpi4b #For ROCK Pi 4 Mode B

=== Change kernel config(optional)===

Optionally, if you want to change the default kernel config

cd kernel
export ARCH=arm64
export CROSS_COMPILE=aarch64-linux-gnu-
make rockchip_linux_defconfig
make menuconfig
cd ..
./build/mk-kernel.sh rockpi4b #For ROCK Pi 4 Mode B

You will get the kernel image and dtb file

ls out/kernel/
Image rockpi-4b-linux.dtb

== Make rootfs image ==

To build 32bit rootfs:

export ARCH=armhf

To build 64bit rootfs:

export ARCH=arm64

Building a base debian system by ubuntu-build-service from linaro.

cd rootfs
sudo apt-get install binfmt-support qemu-user-static
sudo dpkg -i ubuntu-build-service/packages/* # ignore the broken dependencies, we will fix it next step
sudo apt-get install -f
RELEASE=stretch TARGET=desktop ARCH=$ARCH ./mk-base-debian.sh

This will bootstrap a Debian stretch image, you will get a rootfs tarball named '''linaro-stretch-alip-xxxx.tar.gz'''.

Building the rk-debain rootfs with debug:

VERSION=debug ARCH=$ARCH ./mk-rootfs-stretch.sh && ./mk-image.sh

This will install Rockchip specified packages and hooks on the standard Debian rootfs and generate an ext4 format rootfs image at '''rootfs/linaro-rootfs.img'''.

== Combine everything into one image ==

build/mk-image.sh -c rk3399 -t system -r rootfs/linaro-rootfs.img

This will combine u-boot, kernel and rootfs into one image and generate GPT partition table. Output is

out/system.img

== Flash the image ==

For normal users, follow instructions [[Rockpi4/install | here]]. You will need the generated '''out/system.img''' only.

For developers, flash from USB OTG port, follow instructions [[Rockpi4/dev/usb-install |here]]. You will need the flash helper '''rk3399_loader_xxx.bin''' and generated '''out/system.img''' files.

== Troubleshooting ==

Check [[Rockpi4/FAQs |ROCK Pi 4 FAQs]] first, if it doesn't help, start a new post on the forum https://forum.radxa.com/c/dev

← Older revision		Revision as of 17:00, 9 February 2019
Line 1:		Line 1:
		+	{{Languages\|rockpi4/dev/Debian}}
	{{rockpi4_header_es}}		{{rockpi4_header_es}}

−	~~{{Languages\|rockpi4/dev/Debian}}~~

	<div class="col-md-12" style="text-shadow: 2px 2px 4px #DDDDDD; box-shadow: 2px 2px 5px #999999;">		<div class="col-md-12" style="text-shadow: 2px 2px 4px #DDDDDD; box-shadow: 2px 2px 5px #999999;">

@@ Line 3: / Line 3: @@
 {{Languages|rockpi4/dev/Debian}}
      [[rockpi4/es_es | ROCK Pi 4]] > [[rockpi4/dev/es_es | Desarrollando]] > [[rockpi4/dev/Debian/es_es | Compilando Debian]]
@@ Line 118: / Line 119: @@
 Mira primero en la sección  [[Rockpi4/FAQs/es_es |Dudas del Rock Pi 4]], si no te ayuda, inicia una nueva consulta en el foro  https://forum.radxa.com/c/dev

@@ Line 115: / Line 115: @@
 Para los desarrolladores, que graban desde el puerto USB OTG, seguir las instrucciones de [[Rockpi4/dev/usb-install/es_es |aquí]]. Necesitarás '''rk3399_loader_xxx.bin''' y el archivo generado  '''out/system.img''' .
-== Troubleshooting ==
+== Problemas ==
-Check [[Rockpi4/FAQs |ROCK Pi 4 FAQs]] first, if it doesn't help, start a new post on the forum https://forum.radxa.com/c/dev
+Mira primero en la sección  [[Rockpi4/FAQs/es_es |Dudas del Rock Pi 4]], si no te ayuda, inicia una nueva consulta en el foro  https://forum.radxa.com/c/dev

@@ Line 47: / Line 47: @@
      ./build/mk-uboot.sh rockpi4b     #Para ROCK Pi 4 Modelo B
-The generated images will be copied to out/u-boot folder
+Las imágenes generadas se copiarán en la carpeta out/u-boot
      ls out/u-boot/

@@ Line 109: / Line 109: @@
      out/system.img
-== Flash the image ==
+== Grabando la imagen ==
-For normal users, follow instructions [[Rockpi4/install | here]]. You will need the generated '''out/system.img''' only.
+Para usuarios normales, seguir las instrucciones de [[Rockpi4/install/es_es | aquí]]. Necesitarás sólo '''out/system.img'''.
-For developers, flash from USB OTG port, follow instructions [[Rockpi4/dev/usb-install |here]]. You will need the flash helper '''rk3399_loader_xxx.bin''' and generated '''out/system.img''' files.
+Para los desarrolladores, que graban desde el puerto USB OTG, seguir las instrucciones de [[Rockpi4/dev/usb-install/es_es |aquí]]. Necesitarás '''rk3399_loader_xxx.bin''' y el archivo generado  '''out/system.img''' .
 == Troubleshooting ==
 Check [[Rockpi4/FAQs |ROCK Pi 4 FAQs]] first, if it doesn't help, start a new post on the forum https://forum.radxa.com/c/dev

@@ Line 101: / Line 101: @@
 Esto instalará los paquetes de Rockchip especificados y los enlazará con el rootfs Debian estándar y generará una imagen rootfs en formato ext4 en  '''rootfs/linaro-rootfs.img'''.
-== Combine everything into one image ==
+== Combinar todo en una única imagen ==
      build/mk-image.sh -c rk3399 -t system -r rootfs/linaro-rootfs.img
-This will combine u-boot, kernel and rootfs into one image and generate GPT partition table. Output is
+Esto combinará el u-boot, el núcleo y el rootfs en una única imagen y generará una tabla de particiones GPT. La salida será
      out/system.img

@@ Line 75: / Line 75: @@
      Image  rockpi-4b-linux.dtb
-== Make rootfs image ==
+== Crear una imagen de rootfs ==
-To build 32bit rootfs:
+Para compilar un rootfs de 32bits:
      export ARCH=armhf
-To build 64bit rootfs:
+Para compilar un rootfs de 64bits:
      export ARCH=arm64
-Building a base debian system by ubuntu-build-service from linaro.
+Cómo construir un sistema de base Debian usando el servicio de construcción ubuntu de linaro (ubuntu-build-service).
      cd rootfs
@@ Line 93: / Line 93: @@
      RELEASE=stretch TARGET=desktop ARCH=$ARCH ./mk-base-debian.sh
-This will bootstrap a Debian stretch image, you will get a rootfs tarball named '''linaro-stretch-alip-xxxx.tar.gz'''.
+Esto creará una imagen de Debian Stretch, obtendrás un tar de rootfs llamado '''linaro-stretch-alip-xxxx.tar.gz'''.
-Building the rk-debain rootfs with debug:
+Compila el rootfs de rk-debian con debug:
      VERSION=debug ARCH=$ARCH ./mk-rootfs-stretch.sh  && ./mk-image.sh
-This will install Rockchip specified packages and hooks on the standard Debian rootfs and generate an ext4 format rootfs image at '''rootfs/linaro-rootfs.img'''.
+Esto instalará los paquetes de Rockchip especificados y los enlazará con el rootfs Debian estándar y generará una imagen rootfs en formato ext4 en  '''rootfs/linaro-rootfs.img'''.
 == Combine everything into one image ==

@@ Line 52: / Line 52: @@
      idbloader.img  rk3399_loader_v1.12.112.bin  trust.img  uboot.img
-== Build kernel ==
+== Compilar el núcleo ==
-Build kernel with default '''rockchip_linux_defconfig'''
+Compilar el núcleo con la configuración por defecto '''rockchip_linux_defconfig'''
-     ./build/mk-kernel.sh rockpi4b    #For ROCK Pi 4 Mode B
+     ./build/mk-kernel.sh rockpi4b    #Para ROCK Pi 4 Modelo B
-=== Change kernel config(optional)===
+=== Cambiar la configuración del núcleo(opcional)===
-Optionally, if you want to change the default kernel config
+Opcionalmente, puedes cambiar la configuración por defecto del núcleo.
      cd kernel
@@ Line 67: / Line 67: @@
      make menuconfig
      cd ..
-     ./build/mk-kernel.sh rockpi4b    #For ROCK Pi 4 Mode B
+     ./build/mk-kernel.sh rockpi4b    #Para ROCK Pi 4 Modelo B
-You will get the kernel image and dtb file
+Te devolverá la imagen del núcleo y el fichero dtb
      ls out/kernel/

@@ Line 7: / Line 7: @@
 = El SDK de Rockchip para Debian =
-Below is the instructions of how to build image for ROCK Pi 4.
+A continuación están las instrucciones sobre cómo construir una imagen Debian para el ROCK Pi 4.
-== Get the source code ==
+== Obtener el código fuente ==
-You need Git to get multiple git repositories to build the image.
+Necesitarás Git para usar múltiples repositorios git en la construción de la imagen.
-Install Git if you don't have it.
+Instala Git si no lo tienes.
      sudo apt-get update
      sudo apt-get install git
-Clone the source code
+Clona el código fuente
      git clone --recursive https://github.com/radxa/rockchip-bsp.git
-You will get
+Bájate
      build  kernel  README.md  rkbin  rootfs  u-boot
-Directories usage introductions:
+Estos directorios contienen instrucciones para:
 * build:
-** Some script files and configuration files for building u-boot, kernel and rootfs.
+** Ficheros de script y ficheros de configuración para compilar u-boot, el núcleo y el rootfs.
 * kernel:
-** kernel source code, current version is 4.4
+** El código fuente del núcleo, la versión actual es la 4.4
 * rkbin:
-** Prebuilt Rockchip binaries, include first stage loader and ATF(Arm Trustzone Firmware).
+** Binarios precompilados de Rockchip, se incluye el cargador de primera etapa, y el Firmware ATF(Arm Trustzone Firmware).
 * rootfs:
-** Bootstrap a Debian based rootfs, support architechture armhf and arm64, support Debian Jessie and Stretch.
+** Bootstrap es un rootfs basado en Debian, soporta las arquitecturas armhf y arm64 de Debian Jessie y Stretch.
 * u-boot:
-** u-boot as the second stage bootloader
+** u-boot como segunda etapa de cargador de arranque
-== Install toolchain and other build tools ==
+== Instalar el toolchain y las demás herramientas de construcción ==
      sudo apt-get install gcc-aarch64-linux-gnu device-tree-compiler libncurses5 libncurses5-dev build-essential libssl-dev mtools
-== Build u-boot ==
+== Compilando u-boot ==
-     ./build/mk-uboot.sh rockpi4b     #For ROCK Pi 4 Mode B
+     ./build/mk-uboot.sh rockpi4b     #Para ROCK Pi 4 Modelo B
 The generated images will be copied to out/u-boot folder