The link to U-Boot's documentation lists some documentation under a chapter called Das U-Boot (@ link). The link also lists something called the Embedded Linux Development Kit. The Embedded Linux Development Kit is _not_ U-Boot, it is used to build and test U-Boot. This description of what the ELDK _is_ is not available in the manual, a note that describes it is available in U-Boot's README (@ link). Also, the listing to download the ELDK doesn't work from the online U-Boot manual; a method to download is is given below.