Alexander Boettcher e70c13ce1f nova: update to r6 nova kernel branch ...

- adds general support for semaphore timeouts
- fixes PCID feature (aka tagged TLB) seeen on Lenovo X201

Fixes #1211

2014-07-24 10:18:06 +02:00

..

stdint.h

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

syscall-generic.h

nova: update to r6 nova kernel branch

2014-07-24 10:18:06 +02:00

util.h

base-nova: fully qualify Utcb type

2014-05-27 11:14:41 +02:00