diff --git a/dist/theme/fossasia2023.css b/dist/theme/fossasia2023.css index 723c389..90b3483 100644 --- a/dist/theme/fossasia2023.css +++ b/dist/theme/fossasia2023.css @@ -67,7 +67,7 @@ section.has-light-background h6 { } .reveal .footer { - background-image: url("../../img/fossasia-logo.png"); + /* background-image: url("../../img/fossasia-logo.png"); */ background-repeat: no-repeat; background-size: 10%; background-position-x: 50px; diff --git a/img/betrusted-wycheproof-patch-fix.png b/img/betrusted-wycheproof-patch-fix.png new file mode 100644 index 0000000..2d93410 Binary files /dev/null and b/img/betrusted-wycheproof-patch-fix.png differ diff --git a/img/betrusted-wycheproof-patch.png b/img/betrusted-wycheproof-patch.png new file mode 100644 index 0000000..9ae135a Binary files /dev/null and b/img/betrusted-wycheproof-patch.png differ diff --git a/img/computer-layout.afdesign b/img/computer-layout.afdesign index 4c06451..06d3c67 100644 Binary files a/img/computer-layout.afdesign and b/img/computer-layout.afdesign differ diff --git a/img/memory-write.afdesign b/img/memory-write.afdesign index d81d93b..265b7a3 100644 Binary files a/img/memory-write.afdesign and b/img/memory-write.afdesign differ diff --git a/img/renode-multi-system.png b/img/renode-multi-system.png new file mode 100644 index 0000000..e8be66c Binary files /dev/null and b/img/renode-multi-system.png differ diff --git a/img/svd-files.png b/img/svd-files.png new file mode 100644 index 0000000..064068c Binary files /dev/null and b/img/svd-files.png differ diff --git a/img/vt100-MA-4352.png b/img/vt100-MA-4352.png new file mode 100644 index 0000000..7609bf0 Binary files /dev/null and b/img/vt100-MA-4352.png differ diff --git a/index.html b/index.html index 938d149..162825d 100644 --- a/index.html +++ b/index.html @@ -57,7 +57,7 @@
-

Whole-system Emulator

+

Generic Whole-system Emulator

@@ -105,20 +105,13 @@
-

10% of the Functionality Gets You 90% of the Way There

-

Existing Peripherals in Renode

@@ -143,6 +136,15 @@
  • Peripherals can be written and loaded at runtime
  • +
    +

    SVD Files Are Your Friend

    + + +

    Networks in Renode

    -

    Emulating it under Renode

    +

    Betrusted

    + +
    +
    +

    Emulating it With Renode

    +
    +

    Getting Hardware to Users

    + +
    +
    +

    Getting Hardware to Users

    + +
    -

    ENGINE bug

    -
      -
    1. Added test vectors to the OS
    2. -
    3. Ran test vectors on physical device
    4. -
    5. Got test vectors passing in Renode
    6. -
    7. -
        -
      • Yay!
      • -
      -
    8. -
    9. Someone (without a device!) decided to add more vectors
    10. -
    11. Tested in Renode
    12. -
    13. Passed
    14. -
    15. Failed on hardware
    16. -
    17. Bug in detecting overflow condition for normalization in hardware
    18. -
    19. https://github.com/betrusted-io/gateware/commit/817e284a3d92037b8cb0686735578d2bb60853e9 -
    20. -
    +
    +

    Demonstration!

    +

    Getting Started with Renode

    @@ -239,36 +238,53 @@
    -

    Example project repl

    +

    Example project repl:

    +
    using "platforms/cpus/nrf52840.repl"
    +gpio0:                // PinName in ArduinoIDE
    +	24 -> led_red@0   // LED_RED
    +	16 -> led_green@0 // LED_GREEN
    +	6  -> led_blue@0  // LED_BLUE
    +camera: Sensors.ArduCAMMini2MPPlus @ {
    +			spi2;
    +			twi0 0x30
    +}
    +lsm9ds1_imu: Sensors.LSM9DS1_IMU @ twi0 0x6b
    +lsm9ds1_mag: Sensors.LSM9DS1_Magnetic @ twi0 0x1e
    +

    Example project resc

    +
    using sysbus
    +mach create
    +machine LoadPlatformDescription @platforms/cpus/stm32f103.repl
    +machine LoadPlatformDescriptionFromString \
    +"button: Miscellaneous.Button @ gpioPortC 13 { IRQ -> gpioPortC@13 }"
    +showAnalyzer usart2
    +macro reset
    +"""
    +	sysbus LoadELF @zephyr-stm32f103-button.elf
    +"""
    +runMacro $reset

    Running it

    +
    mono64 Renode.exe project.resc

    How to Extend Renode

    1. Find a peripheral that does what you want
    2. -
    3. -
        -
      • You might even find a compatible peripheral!
      • -
      -
    4. +
    5. Copy it to your project
    6. Change the constructor
    7. Change the register set
    8. -
    9. Import the `.cs` file into Renode
    10. +
    11. Import the .cs file into Renode
    12. Add it to your platform file
    -
    -
    -

    Demonstration!

    -
    -

    Running Badge Software in Renode

    @@ -372,6 +388,30 @@ sysbus: Write of value 0x4 to an unimplemented register SYSTEM:PERIP_RST_EN0 (0x +
    +
    +

    Displays

    + +
    +
    +

    Touch Controller

    + +
    +
    +

    Audio is Hard

    +