| #
cb81255b |
|
05-May-2015 |
Antti Kantee <pooka@iki.fi> |
__PAGE_SIZE must be ULL on x32
Otherwise Mini-OS page table calculations overflow and result in garbage.
Debugged by @liuw.
Fixes the problem I introduced in
eadc73fa85f0921dd926e657b12bf730c3a0024b
|
| #
13f2c827 |
|
25-Mar-2015 |
Antti Kantee <pooka@iki.fi> |
__PAGE_SIZE is the same on all archs, so just need it once
|
| #
eadc73fa |
|
25-Mar-2015 |
Antti Kantee <pooka@iki.fi> |
Don't need unsigned long long for PAGE_SIZE
At least one would hope so ...
|
| #
ac3ac63c |
|
03-Mar-2015 |
Antti Kantee <pooka@iki.fi> |
Move files into platform/xen
Prepares for the rumprun merge.
|