diff --git a/src/kernel/Makefile b/src/kernel/Makefile
index c7968f5..418c48c 100644
--- a/src/kernel/Makefile
+++ b/src/kernel/Makefile
@@ -28,11 +28,11 @@ DEPFLAGS = -MT $@ -MMD -MP -MF $*.d
 
 
 # Copy kernel to sysroot
-/opt/sysroot/kernel: kernel
-	mkdir -p /opt/sysroot
-	cp kernel /opt/sysroot/kernel
+$(BUILDROOT)sysroot/kernel: kernel
+	mkdir -p $(BUILDROOT)sysroot
+	cp kernel $(BUILDROOT)sysroot/kernel
 
-install: /opt/sysroot/kernel
+install: $(BUILDROOT)sysroot/kernel
 
 clean:
 	rm -rf $(OBJ) $(DEP) kernel
diff --git a/toolchain/gdbinit b/toolchain/gdbinit
index 4c8a214..93759ee 100644
--- a/toolchain/gdbinit
+++ b/toolchain/gdbinit
@@ -1,7 +1,11 @@
 set prompt \033[31m(gdb) \033[0m
 set disassembly-flavor intel
 
-file /opt/sysroot/kernel
+python
+import os
+gdb.execute('file ' + os.environ['BUILDROOT'] + 'sysroot/kernel')
+end
+
 target remote :1234
 
 define q