avarzille/x15

Auteur	SHA1 Message	Date
Agustina Arzille	8cb66c68da Restyle the code into using GNU coding standards	il y a 2 ans
Richard Braun	be5b9d6ab9 Don't use reserved identifiers	il y a 7 ans
Richard Braun	791a6563cd kern/condition: implement timed waits	il y a 7 ans
Richard Braun	3ae5551b33 kern/{condition,mutex}: reimplement on top of sleep queues	il y a 8 ans
Richard Braun	d479903845 kern/list: update	il y a 8 ans
Richard Braun	7a00044da8 kern/types: split into module-specific type headers	il y a 8 ans