My Linux0.11 which can be debugged with gdb