Re: [coreboot] coreboot and embedded controllers; for example OLPC and its OpenEC code