Min Yang 1961718a6e doc: update grub menu set when reboot into ACRN in GSG ... 1. modify GRUB file /etc/default/grub 2. update GRUB menu after rebooting 3. update the UOS kernel Signed-off-by: Min Yang <minx.yang@intel.com>		2022-12-12 11:09:16 -08:00
..
images	update ubuntu version from 20.04.5 to 22.04.1 in GSG document	2022-10-28 06:57:08 -07:00
getting-started.rst	doc: update grub menu set when reboot into ACRN in GSG	2022-12-12 11:09:16 -08:00
overview_dev.rst	doc: Update Config Overview	2022-06-24 10:06:22 -07:00
sample-app.rst	doc: Upgrade RT kernel to 5.15 in sample app guide	2022-11-02 14:05:47 -07:00