DSL Embedded :: triple boot