Skip to content

Latest commit

 

History

History
102 lines (73 loc) · 2.82 KB

Beaglebone.md

File metadata and controls

102 lines (73 loc) · 2.82 KB
Raw
arm_hardware cmake_plat xcompiler_arg platform arch virtualization iommu soc cpu Status Contrib Maintained SPDX-License-Identifier SPDX-FileCopyrightText
true
am335x-boneblack
-DAARCH32=1
BeagleBone Black / Blue
ARMv7A
No
No
AM335x
Cortex-A8
Unverified
Community
seL4 Foundation
CC-BY-SA-4.0
2020 seL4 Project a Series of LF Projects, LLC.

BeagleBone Black / Blue

This page contains info about building seL4 on BeagleBone Black and BeagleBone Blue.

Building for the BeagleBone Black / Blue

These instructions were written by Tim Newsham. The BeagleBone is a community-supported port.

Requirements

We suggest using the arm-linux-gnueabi- cross-compilers. Use the instructions on getting a toolchain.

Building

seL4test

For BeagleBone Blue, substitute am335x-boneblack with am335x-boneblue.

{% include sel4test.md %}

Booting on the BeagleBone Black / Blue

Hardware Requirements (BeagleBone Black)

Hardware Requirements (BeagleBone Blue)

  • Power supply (12V DC, 2S LiPo battery or microUSB)
  • Serial adapter (Connect to UT0 header)
  • microSD card for file booting or microUSB cable for network boot

Interacting with U-Boot

Connect a serial adapter between your development box and the BeagleBone. Use a serial program such as picocom or screen to connect to the serial port:

picocom /dev/ttyUSB0 -b 115200

Power on the device and hit space a few times to interrupt the normal boot process and get a U-Boot prompt.

Booting from microSD card

To boot from a microSD card, copy the sel4test-driver-image-arm-am335x file to a FAT32 partition the microSD card and insert the card in the BeagleBone.

At the U-Boot prompt, enter the following to load and run the image:

fatload mmc 0 ${loadaddr} sel4test-driver-image-arm-am335x
bootm ${loadaddr}

Booting from TFTP

To boot over Ethernet, configure your DHCP server to provide a DHCP lease and to specify sel4test as the boot file. Configure a TFTP server to serve the sel4test-driver-image-arm-am335x file.

For BeagleBone Black, plug in an Ethernet cable. For BeagleBone Blue, make sure a microUSB cable is plugged in and connected to a computer running a DHCP server. Then, at the U-Boot prompt enter:

dhcp
bootm ${loadaddr}

To load an alternate image from the TFTP server at 1.2.3.4, use:

dhcp ${loadaddr} 1.2.3.4:refos-image-arm-am335x
bootm ${loadaddr}

Other resources