How many non-copyleft mini OSes exist? It's likely that Intel engineers were more familiar with the author's OS given the popularity of his book. All that asid

How many non-copyleft mini OSes exist? It's likely that Intel engineers were more familiar with the author's OS given the popularity of his book. All that aside, Intel did exactly what the license allows them to do. The license doesn't require a thank you note. If it makes HN feel any better, Intel is among the leading contributors to Linux, and MANY other open source projects. Intel doesn't expect a thank you note for it