|
Size: 1899
Comment:
|
Size: 2046
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 33: | Line 33: |
| This creates the boot image `armv7_omap44xx_image`. |
|
| Line 36: | Line 38: |
| To boot `pandaboard_image` we need `usbboot`. The Barrelfish source tree now contains a copy of usbboot. |
To boot `armv7_omap44xx_image` on a Pandaboard we need `usbboot`. The Barrelfish source tree now contains a copy of `usbboot`. |
| Line 43: | Line 46: |
| The Makefile will build usbboot on demand. | The Makefile will build `usbboot` on demand. It can be built explicitly using {{{ make tools/bin/usbboot }}} |
| Line 57: | Line 63: |
| You should see barrelfish booting on your `picocom` window: | You should see Barrelfish booting on your `picocom` window: |
Booting Barrelfish on PandaBoard
If you are building Barrelfish for the first time, please have a look at the README file and the notes given in Getting_Started.
Toolchain
In addition to the requirements listed in Getting_Started, we are using the Ubuntu/Linaro toolchain for cross-compiling ARM.
$ arm-linux-gnueabi-gcc --version arm-linux-gnueabi-gcc (Ubuntu/Linaro 5.4.0-6ubuntu1~16.04.1) 5.4.0 20160609 Copyright (C) 2015 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Building a Barrelfish PandaBoard image
We need to build for armv7 and then run make PandaboardES:
$ mkdir build; cd build $ ../tip/hake/hake.sh -i . -s ../tip/ -a armv7
Then run the following:
$ make -j4 PandaboardES ... OK - pandaboard boot image is built.
This creates the boot image armv7_omap44xx_image.
Building usbboot
To boot armv7_omap44xx_image on a Pandaboard we need usbboot. The Barrelfish source tree now contains a copy of usbboot.
Additional packages for building it are required:
sudo apt-get install libusb-1.0-0-dev freebsd-glue libfreebsd-glue-0 libelf-freebsd-dev
The Makefile will build usbboot on demand. It can be built explicitly using
make tools/bin/usbboot
Booting barrelfish
Connect to the serial:
$ picocom -b 115200 /dev/ttyUSB0
And boot PandaBoard using usbboot
make usbboot_panda
You should see Barrelfish booting on your picocom window:
MMU enabled paging_arm_reset: base: 0x80000000, length: 0x40000000. invalidate cache invalidate TLB startup_early kernel_startup_early done! paging_map_device_section: 0x8400c000, 0xffe00000, 0x48020000. omap serial_init[2]: base = 0xffe00000 0xffe20000 omap serial_init[2]: done. Barrelfish CPU driver starting on ARMv7 OMAP44xx Board id 0x000008e0 ...