Add a build-id to the kernel
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 27 May 2016 21:24:13 +0000 (17:24 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 16 Jun 2016 15:48:39 +0000 (11:48 -0400)
commit8ce28881a9c27059ee6cfabd8308aa2cf6e2e936
treeb8dc1ba8429359d819b085888880688f488e4244
parentacbbff7d84e3abc9944349b22f35741ee883e637
Add a build-id to the kernel

Since KFS is linked into the kernel, changes in KFS will result in changes
to the build-id.  That limitations will go away once we support a real
initramfs.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
Makefile
kern/arch/riscv/kernel.ld
kern/arch/x86/kernel64.ld
kern/build_id.ld [new file with mode: 0644]
kern/drivers/dev/version.c