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.
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
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
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
