x86_32: compiles with PAE enabled.
[barrelfish] / kernel / arch / x86_32 / startup_arch.c
2015-04-30 Simon Gerberx86_32: compiles with PAE enabled.
2015-04-30 Andreas DillierLargepage repository
2015-04-30 Andreas DillierAdded large page capabilities to the x86 architecture.
2012-02-24 Kornilios Kourtisnewlib: build scc/arm/xscale
2012-02-05 Kornilios Kourtisnewlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.