Feng Tang 7bd867dfb4 x86: Move get/set_wallclock to x86_platform_ops 15 years ago
..
Kconfig acdd0b6292 lguest: PAE support 16 years ago
Makefile 2cb7878a3a lguest: fix 'unhandled trap 13' with CONFIG_CC_STACKPROTECTOR 16 years ago
boot.c 7bd867dfb4 x86: Move get/set_wallclock to x86_platform_ops 15 years ago
i386_head.S a91d74a3c4 lguest: update commentry 16 years ago