disabled kernel warning

hc

2023-02-14 9c26bd2fb3d1b04cfe748cd7a8d8883feff5250f

1
2
3
4
5
6
7
/* Bleah!! */
int remote_debug = 0;
 
main() {
  set_debug_traps();
  breakpoint();
}