This target is much like the sparc_linux target, but works for Linux running on Intel x86 CPUs. Thread switching does in fact work for this target, although faults and interrupts do not.
