eduOS/arch
2015-03-08 11:18:08 +01:00
..
x86 initialize boot task's esp0 with the correct value (and not a pseudo value) 2015-03-08 11:18:08 +01:00