It seems like the done thing these days (for people who care about running on real hardware) is to bring up educational/experimental kernels on Raspberry Pi, using the "mini UART" for console I/O and the SD interface for storage.