christos a672382c55 adjust miniroot scripts to deal with the time prefix in dmesg		2019-04-10 14:52:53 +00:00
..
instkernel	…
miniroot	…
stand	…
Makefile	…