Adrien Destugues 38ec030ace FileDevice: implement icon ioctls ...

Fixes #9320.

2014-12-02 09:04:56 +01:00

..

boot

bios_ia32: for correctness, add clobber memory for asm invlpg.

2014-11-17 20:17:30 +01:00

glue

Optionally build glue code for bootstrap_stage0 platform.

2014-08-13 13:32:49 +02:00

kernel

FileDevice: implement icon ioctls

2014-12-02 09:04:56 +01:00

ldscripts

ARM: define bootloader stack in linker script

2014-09-07 20:56:14 +02:00

libroot

Fix std::isnan and friends for gcc2.

2014-11-27 10:58:49 +01:00

runtime_loader

runtime_loader: Fix missing include of util/kernel_cpp.h.

2014-10-18 21:58:08 +02:00

Jamfile

…