August 2015 - Devel - lists.sel4.systems

Detecting dirty/accessed page tables
by Raymond Jennings 15 Aug '15

15 Aug '15

Hey I'm just curious...how do you detect if a memory page mapped by a page table has been written to or accessed? I imagine if you're writing a filesystem task, such information would help you know when to flush data back to disk or which pages to keep around if things get tight. I hope this isn't a stupid question.

5 16

U-boot help sabrelite
by Andrew Shruhan 12 Aug '15

12 Aug '15

Hi, I am attempting to follow the tutorial booting from SPI for the sabrelite https://sel4.systems/Hardware/sabreLite/ when booting I obtain this output and am not able to run "run bootsel4_mmc" U-Boot 2009.08-dirty (Jun 27 2013 - 16:26:46) CPU: Freescale i.MX6 family TO1.2 at 792 MHz Temperature: 36 C, calibration data 0x56a4bc7d mx6q pll1: 792MHz mx6q pll2: 528MHz mx6q pll3: 480MHz mx6q pll8: 50MHz ipg clock : 66000000Hz ipg per clock : 66000000Hz uart clock : 80000000Hz cspi clock : 60000000Hz ahb clock : 132000000Hz axi clock : 264000000Hz emi_slow clock: 132000000Hz ddr clock : 528000000Hz usdhc1 clock : 198000000Hz usdhc2 clock : 198000000Hz usdhc3 clock : 198000000Hz usdhc4 clock : 198000000Hz nfc clock : 24000000Hz Board: MX6Q-SABRELITE:[ POR] Boot Device: I2C I2C: ready DRAM: 1 GB MMC: FSL_USDHC: 0,FSL_USDHC: 1 JEDEC ID: 0xbf:0x25:0x41 Reading SPI NOR flash 0xc0000 [0x2000 bytes] -> ram 0x276009b8 SUCCESS In: serial Out: serial Err: serial Net: got MAC address from IIM: 00:19:b8:01:fd:6d FEC0 Hit any key to stop autoboot: 0 AHCI 0000.0000 1 slots 1 ports ? Gbps 0x0 impl SATA mode flags: No port device detected! Unknown command 'load' - try 'help' SATA device 1: unknown device Unknown command 'load' - try 'help' Card did not respond to voltage select! mmc0(part 0) is current device Unknown command 'load' - try 'help' mmc1 is current device Unknown command 'load' - try 'help' Unknown command 'usb' - try 'help' Unknown command 'usb' - try 'help' Unknown command 'load' - try 'help' Unknown command 'usb' - try 'help' Unknown command 'load' - try 'help' 6x_bootscript not found serial console at 115200, 8N1 details at http://boundarydevices.com/6q_bootscript AHCI 0000.0000 1 slots 1 ports ? Gbps 0x0 impl SATA mode flags: No port device detected! AHCI 0000.0000 1 slots 1 ports ? Gbps 0x0 impl SATA mode flags: No port device detected! Card did not respond to voltage select! mmc0(part 0) is current device expose mmc drive 0 over USB Unknown command 'ums' - try 'help' Card did not respond to voltage select! no block devices found ERTOS MX6Q SABRELITE U-Boot > -- -Andrew Andrew P. Shruhan Research and Development Engineer III DocBox, Inc. 320 Nevada St Newton MA, 02460 Work: 857-598-2819 ext. 117 www.docboxinc.com

2 2

Upstream seL4/RISC-V work?
by Hesham ALMatary 10 Aug '15

10 Aug '15

Hi, The seL4/RISC-V port is now working on Spike (emulator), Rocket Chip (FPGA), and jor1k (online emulator). I've also written a recent blog post how to build/run the port with SOS project [1] from my repos). The code is pretty much like the ARM port, and following the same bootstrapping procedure (more on this on my blog). MMU code provides 4KiB and 4MiB pages (like IA-32). I'd like to ask if there are special requirements to upstream this work: * All libraries that are target-dependant. * seL4 microkernel. * Tools (elf loader, build system). * SOS project? I understand it won't be an easy process because this work is the first "foreign" code that big, of course apart from formal verification. But it wouldn't hurt to ask. [1] http://heshamelmatary.blogspot.co.uk/2015/07/howto-build-and-run-sel4-on-ri… Best, -- Hesham

4 4

Porting Linux driver into Sel4
by Shabnam Engineer 09 Aug '15

09 Aug '15

HiI have a question about porting Linux drivers in Sel4.Can I port Linux drivers into Sel4? I know that DDEKit provides such functionality for L4-based systems and I could find the implementation of that in fiasco.OC microkernel, but I can not find same works for Sel4. I want to implement Sel4 on a board and test some features, At first I want to be sure that if I need a driver for our special tests and the Sel4 does not support that, Could I choose it from Linux drivers and port it to Sel4 microkernel? Thank you for your considering my question.Regards,Shabnam

1 0