make KERNEL=nova BOARD=pc run/sculp