main kernel startup, libc, console tty, asmops, build flags fixes

[bootcensus] / .gdbinit

diff --git a/.gdbinit b/.gdbinit
new file mode 100644 (file)
index 0000000..06d68b4
--- /dev/null
+++ b/.gdbinit
@@ -0,0 +1,2 @@
+target remote localhost:1234
+symbol-file test.sym