libbarrelfish: merging arch specific hearders for k1om and x86_64
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 18 Jun 2015 16:50:29 +0000 (18:50 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jun 2015 10:09:30 +0000 (12:09 +0200)
commit95d139a624b62c0e5a9a9cdec0e87768b1681c13
tree4d0f52b41d7f9003736ee9ac3924f3b7f5a89c12
parent363a41aa2a0ef941c30c8fa9e86a9fc815fd0a41
libbarrelfish: merging arch specific hearders for k1om and x86_64

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
lib/barrelfish/Hakefile
lib/barrelfish/arch/x86_64/ldt.c
lib/barrelfish/include/arch/k1om/arch/fpu.h [deleted file]
lib/barrelfish/include/arch/k1om/arch/ldt.h [deleted file]
lib/barrelfish/include/arch/k1om/arch/registers.h [deleted file]
lib/barrelfish/include/arch/k1om/arch/threads.h [deleted file]
lib/barrelfish/include/target/k1om/registers_target.h [deleted file]