Add the 'current_kthread' helper
[akaros.git] / scripts / INFERNO
1 #!/bin/bash
2
3 ed $1 << EOF
4 1i
5 // INFERNO
6 .
7 w
8 q
9 EOF