Supported platforms

At this time, POK supports the following platforms:

$\bullet$

x86, emulation with QEMU

$\bullet$

PowerPC

$\bullet$

Leon3, a platform for aerospace applications