diff options
Diffstat (limited to 'tools/kernel')
| -rwxr-xr-x | tools/kernel | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/kernel b/tools/kernel new file mode 100755 index 00000000..733e81f7 --- /dev/null +++ b/tools/kernel @@ -0,0 +1,12 @@ +#! /usr/bin/env python3 +# -*- coding: utf-8 -*- + +import os, sys + +KERNEL_SCRIPT="./scripts/debug_ahci_x64.sh" + +if __name__ == '__main__': + print("kconf: Running kernel...") + os.system(KERNEL_SCRIPT) + sys.exit(0) + |
