pub fn default_linker_script()Expand description
Setup the Tock board to build with a board-provided linker script called
layout.ld.
The board linker script (i.e., layout.ld) should end with the command:
INCLUDE tock_kernel_layout.ldThis function will ensure that the linker’s search path is configured to
find tock_kernel_layout.ld.