The distribution package contains the following files:
- kernel8.img: tinyOS Image file.
- kernel8.elf: used for debugging.
- config.txt: firmware configuration indicates file.
- armstub-new.bin: The stub is a small piece of ARM code that is run before the kernel.