[Minios-devel] MiniOS licensing

[Carl Patenaude Poulin <carlpaten@xxxxxxxxx>]

Hello,

I'd like to use MiniOS as part of my senior undergrad project, but 
it's not clear to me what it's licensed under. There's no license 
file at the root level of the git tree, and not all files have a 
license header. Would it make sense to add one?

Best

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel