Re: [SeaBIOS] [PATCH] searialio: Support for mmap serial ports