Runtime Infrastructure

Modules
	boot_stage2
	Second stage boot loaders responsible for setting up external flash.
	pico_base
	pico_binary_info
	pico_bit_ops
	pico_bootrom
	pico_bootsel_via_double_reset
	pico_cxx_options
	non-code library controlling C++ related compile options
	pico_divider
	pico_double
	pico_float
	pico_int64_ops
	pico_malloc
	pico_mem_ops
	pico_platform
	pico_printf
	pico_runtime
	pico_stdio
	pico_standard_link
	Standard link step providing the basics for creating a runnable binary.

Detailed Description

Libraries that are used to provide efficient implementation of certain language level and C library functions, as well as CMake INTERFACE libraries abstracting the compilation and link steps in the SDK