#!/bin/bash

gdb ./linux/vmlinux -ex "target remote localhost:1234" \
                    -ex "break x86_64_start_kernel"    \
                    -ex "continue"                     \
                    -ex "disconnect"                   \
                    -ex "set architecture i386:x86-64:intel" \
                    -ex "target remote localhost:1234"q