|
|
c51062ce87
|
arch/i386: Boot to kernel main() with proper initial segmentation/paging setup
|
2012-12-17 00:35:23 -05:00 |
|
|
|
cee0ac7dda
|
i386: Add new arch support! (woefully incomplete)
|
2012-11-15 00:38:10 -05:00 |
|
|
|
c76991b1b5
|
Makefile: Generalize flags and tools in preparation for i386 arch
|
2012-11-15 00:30:17 -05:00 |
|
|
|
ccd5a9025a
|
types.h: Add arch_uint_ptr to make comparing native pointer types easier
|
2012-11-15 00:27:49 -05:00 |
|
|
|
a1fb385d97
|
arch/arm: Separate out architecture-specifics
|
2012-10-14 23:02:14 -04:00 |
|
