/** @page users_manual User's Manual This manual provides help for working with @a Barebox from the user's point of view. So if you want to use @a Barebox for booting your target, you find a lot of nice tricks on these pages to make your life easier. @li @subpage building @li @subpage first_steps @li @subpage command_reference @li @subpage gpio_for_users \todo Rework the following sections @li @subpage shell_notes @li @subpage readline_parser @li @subpage x86_bootloader @li @subpage net_netconsole */