Kernel

I thought it might be useful to know which applications lack man pages, since that's not easy to tell otherwise. This is a list manually compiled by comparing the directory listing of /bin with the online man pages.

I have intentionally skipped applets, demos, and internal servers that are not intended to be called directly, though you could argue for including

Now that we have the checklocks analyzer, we should annotate values that are lock-protected with an appropriate checklocks attribute.

• The set_mode_X() HIL functions need to support returning an error if hardware does not support that mode or if the implementation cannot put the hardware in to that mode at that time. See for an example where panic is used instead of returning an error https://github.com/tock/tock/pull/2629/files.

debootstrap.sh replaces extraargs or another line in the environment where it finds 'console=' before the line that starts with console=

Suggested the following fix:

--- a/lib/debootstrap.sh
+++ b/lib/debootstrap.sh
@@ -626,7 +626,7 @@ prepare_partitions()
 	# if we have a headless device, set console to DEFAULT_CONSOLE
 	if [[ -n $DEFAULT_CONSOLE && -f $SDCARD/boot/armbianE

86757f376561db47a5d242b9dc70b5a88147af86 turns TestDeadProcess off, as it failed in circleci for no clear reason. Needs to get turned back on.