Re: [Lava-users] Boot time measurement with Lava