Add discover server options
[petitboot] / lib / system /
drwxr-xr-x   ..
-rw-r--r-- 3011 system.c
-rw-r--r-- 425 system.h