Added makefile machinary to generate the build information data
authorDavide Libenzi <dlibenzi@google.com>
Tue, 15 Dec 2015 03:15:35 +0000 (19:15 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 17 Dec 2015 20:42:28 +0000 (15:42 -0500)
commit95756c1454d9dcf85f93e3cfae47eb670e1611ac
treecd23ec1d0dcdd2e1e4e30c219cfed95e4c401bd6
parent59636d198a16e0472f6c23b43b48d29207c8064f
Added makefile machinary to generate the build information data

Added makefile machinary to generate the build information data.
A kern/src/build_info.c is automatically generated, exporting build
information.

Signed-off-by: Davide Libenzi <dlibenzi@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
.gitignore
Makefile
kern/arch/riscv/Makefile
kern/arch/x86/Makefile
kern/include/build_info.h [new file with mode: 0644]
kern/src/Kbuild