01-parse-etc-debian_version.patch
02-set-default-framebuffer-device-to-dev-fb0.patch
03-awk.patch
04-stderr.patch
05-default-theme.patch
06-tty.patch
07-return-code.patch
