100644 blob 5f53eabfb914a500fe102bdb4bd2b0f596df6b5d	boot.h
100644 blob 774399a4e56df725c2218e3a953b27d41657c814	console.h
100644 blob f34206b3a21a13f195bf2409f624120199d78489	kernel.h
100644 blob 8dd6f7c8cf2f0f002f142feb9adcea940beff267	memory.h
100644 blob 2d8563414b8c92a5e423ecdb6e1aee67856bbcdc	serial.h
100644 blob 7177c7488ad800dfaa4b5657f5cdd7985061ee01	time.h