ubuntu verilog, boot sequence dell