mirror of
https://review.haiku-os.org/haiku
synced 2025-01-20 21:41:28 +01:00
56bb1bd5c9
add optional fields for microcode in kernel_args. Change-Id: Ic5fb54cf6c9f489a2d1cdda00f63980c11dcdaeb Reviewed-on: https://review.haiku-os.org/c/haiku/+/2264 Reviewed-by: Adrien Destugues <pulkomandy@gmail.com>