abejgonzalez
commented
3 years ago Right now that part of the documentation is missing since we want to have FireMarshal target the VCU118 (or similar prototype platforms). Once we get to that we will update the docs. Until then something like this probably works:
BIG NOTE: I haven't tested this flow since the internal Berkeley flow was done before FireMarshal existed... some of these steps might not work... so if you figure out the proper steps or can generalize them a bit please respond to this post with the changes.
Setup Linux to recognize the SDCard
Here was the Linux config that we used... might want to pick and choose stuff from it (I'm not sure what clashes with FireMarshal's Linux config)
CONFIG_DEFAULT_HOSTNAME="prototype"
CONFIG_SYSVIPC=y
# CONFIG_CROSS_MEMORY_ATTACH is not set
CONFIG_NAMESPACES=y
CONFIG_BLK_DEV_INITRD=y
# CONFIG_RD_BZIP2 is not set
# CONFIG_RD_LZMA is not set
# CONFIG_RD_XZ is not set
# CONFIG_RD_LZO is not set
# CONFIG_RD_LZ4 is not set
CONFIG_EMBEDDED=y
CONFIG_SOC_SIFIVE=y
CONFIG_HZ_100=y
CONFIG_CMDLINE="earlyprintk console=hvc0"
CONFIG_CMDLINE_FORCE=y
# CONFIG_BLK_DEV_BSG is not set
CONFIG_PARTITION_ADVANCED=y
# CONFIG_COMPACTION is not set
CONFIG_NET=y
CONFIG_PACKET=y
CONFIG_UNIX=y
CONFIG_INET=y
# CONFIG_INET_DIAG is not set
# CONFIG_IPV6 is not set
# CONFIG_WIRELESS is not set
CONFIG_DEVTMPFS=y
CONFIG_DEVTMPFS_MOUNT=y
CONFIG_BLK_DEV_LOOP=y
CONFIG_NETDEVICES=y
# CONFIG_ETHERNET is not set
# CONFIG_WLAN is not set
# CONFIG_INPUT_KEYBOARD is not set
# CONFIG_INPUT_MOUSE is not set
CONFIG_SERIAL_8250=y
CONFIG_SERIAL_8250_CONSOLE=y
CONFIG_SERIAL_OF_PLATFORM=y
CONFIG_SERIAL_EARLYCON_RISCV_SBI=y
CONFIG_HVC_RISCV_SBI=y
# CONFIG_HW_RANDOM is not set
CONFIG_SPI=y
CONFIG_SPI_MEM=y
CONFIG_SPI_SIFIVE=y
CONFIG_SPI_SPIDEV=y
CONFIG_GPIOLIB=y
CONFIG_GPIO_SYSFS=y
CONFIG_GPIO_SIFIVE=y
# CONFIG_HWMON is not set
# CONFIG_LCD_CLASS_DEVICE is not set
# CONFIG_BACKLIGHT_CLASS_DEVICE is not set
# CONFIG_VGA_CONSOLE is not set
# CONFIG_USB_SUPPORT is not set
CONFIG_MMC=y
CONFIG_MMC_SPI=y
# CONFIG_VIRTIO_MENU is not set
# CONFIG_IOMMU_SUPPORT is not set
CONFIG_PWM=y
CONFIG_PWM_SIFIVE=y
CONFIG_EXT3_FS=y
CONFIG_EXPORTFS_BLOCK_OPS=y
CONFIG_VFAT_FS=y
CONFIG_PROC_CHILDREN=y
CONFIG_TMPFS=y
CONFIG_HFSPLUS_FS=y
# CONFIG_NETWORK_FILESYSTEMS is not set
CONFIG_NLS_CODEPAGE_437=y
CONFIG_NLS_ISO8859_1=y
# CONFIG_CRYPTO_HW is not set
# CONFIG_DIMLIB is not set
CONFIG_PRINTK_TIME=y
CONFIG_DEBUG_INFO=y
CONFIG_DEBUG_INFO_DWARF4=y
CONFIG_STRIP_ASM_SYMS=y
CONFIG_DEBUG_SECTION_MISMATCH=y
CONFIG_PANIC_ON_OOPS=y
CONFIG_STACKTRACE=y
CONFIG_RCU_TRACE=y
# CONFIG_FTRACE is not set
# CONFIG_RUNTIME_TESTING_MENU is not setUse FireMarshal to create initramfs binary
./marshal -v --nodisk <YOUR-MARSHAL-WRKLD.json>Modify the binary
riscv64-ucb-linux-gnu-objcopy -S -O binary --change-addresses=-0x80000000 <YOUR-MARSHAL-INITRAMFS-BIN> dummy-name.binWrite SDCard with Binary - Linux Instructions
Use gdisk to put the binary on the SDCard (similar to gpt but with different commands).
The following steps use /dev/sdc as the path to the SD card (replace with your own path).
First, wipe the GPT on the card.
sudo gdisk /dev/sdc
Use the z command to zap everything.
sudo gdisk /dev/sdc
Change the default partition alignment to 1 so you can write to sector 34.
Do this with the l command.
Then create the new GPT with o. Click yes on all the prompts.
Create two partitions.
First the 512MiB partition.
Use n and select sector 34, with size +1048576.
For the type search for the apfs type and use the hex number given.
Second the other partition.
Use n and use the defaults for starting sector and overall size.
For the type search for the hfs and use the hex number given.
Write the changes using w.
Finally, setup the filesystem on the 2nd partition using the following command:
sudo mkfs.hfs -v "Prototype Data" /dev/sdc2
Note that sdc2 is used since it points to the 2nd partition.
Finally transfer the dummy-name.bin to the sdcard:
sudo dd if=<pathto>/dummy-name.bin of=/dev/sdc1
Note that sdc1 points to the 1st partition.
xiaofeibao-xjtu
pengwubj
xiaoQ77
How to install Linux system on vcu118 SD card? FireMarshal currently only supports the FireSim FPGA-accelerated simulation platform.