Kernel

Reproduce:

1. Open TextEditor
2. Enter some text and save file
3. Without moving the cusor bar, enter more characters or digits. Note that the modified (*) and ... does not appear in the title bar.
4. Close the window and reopen the file, note that all data entered after the save is lost.

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

If I rattle on the keyboard I get ControlLeft coming up regularly, even though I am far from the control keys. Upgrading pc_keyboard to 0.5.0 seems to fix it.

• 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

386 can't use strace