Downloading Tiny Kern

---

Hardware connections

Connect the Ethernet port on the debug board on local network through a regular Ethernet cable. There could be multiple Ethernet ports on one board. If that's the case, you have to refer to the debug board manual to find out which Ethernet port is for debugging.

Connect the serial cable between the serial port on your PC and the serial port on your debug board. A serial connection is optional for downloading the image, but it will be very helpful to have it, especially at the early stage of bringing up the board. If there is anything wrong with your Ethernet connection or KITL, you will not get much useful information from Platform Builder output window. The serial terminal output, however, can tell you what’s going on before the image starts and KITL kicks in.

Serial terminal configuration

Type ‘ceterm’ from a build window to create a serial terminal. Configure the serial port baud rate and other settings according to the debug board manual.

Reset or power up the board. If ceterm is configured properly, you will start to see the bootloader output from the terminal. Check the bootloader settings before you start the PB download. Some bootloaders enable downloading image through Ethernet by default, others don’t. PB downloading could fail if the board has improper boot arguments.

Find out the device name which will be used for downloading the image through PB.

If you see the ‘”boot me” message soon after the reboot, go to next step. Otherwise, check your serial port connection and settings.

PB configurations

Open an existing PB project or create a new PB project.

Choose PB Target menu, select Connectivity Options …. The Target Device Connectivity Options dialog will pop up. This dialog may appear minimized at first, in which case you will need to click your taskbar to open it.

If this is the first time you're trying to download an image to the board, you need to create a new target device. Click Add Device on the upper–left of the dialog. Then input the New target device name in the dialog. Click the Add button; the dialog will go back to previous view.

Click the Settings button at the right of the Download edit box. The Ethernet Download Settings dialog will appear. The Active target devices edit box will list all devices currently broadcasting “boot me” signals on your local network. Choose the device that matches the device name from your serial output. Click the OK button, the dialog will go away.

Now you are back to the Target Device Connectivity Options dialog. Click the Apply button first and then click Close button. The Target Device Connectivity Options window will disappear.

Choose Target menu in PB and select Attach Device. A download progress dialog will appear. After the download finishes, KITL will start and begin to output messages to the PB output pane. Wait for the booting to complete. Go to Validating TinyKern.

---

Go up to BSP Bringup
Go up to Big Book of BSP

Thank you for contributing to this BSP Wiki. To ensure your comments and concerns receive proper exposure, include bspwiki""@""microsoft"".""com when providing feedback or topical suggestions.

---