Added CPU set data structure
authorDavide Libenzi <dlibenzi@google.com>
Sun, 8 Nov 2015 19:27:01 +0000 (11:27 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 24 Nov 2015 20:38:22 +0000 (15:38 -0500)
commite893c12bb311bcbaf37599d79bc2709bafe74f9a
treee8196436f1790000d8c63bdb64140a7b10002e43
parentb69479bbcfabe937784fdfa1b508cfc810eca7a6
Added CPU set data structure

Added CPU set data structure.

Signed-off-by: Davide Libenzi <dlibenzi@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/core_set.h [new file with mode: 0644]