Inline boot code